Benndorfscher Satz