theorem :: MUSIC_S1:86

(((pythagorean_tone * pythagorean_tone) * pentatonic_pythagorean_semiditone) * pythagorean_tone) * pentatonic_pythagorean_semiditone = 2 ;