theorem :: MUSIC_S1:85

pythagorean_tone < pentatonic_pythagorean_semiditone ;