theorem :: MUSIC_S1:109

pythagorean_tone / 2 < heptatonic_pythagorean_semitone ;