bohrer-satz