theorem Th67: :: MUSIC_S1:83

for MS being MusicSpace
for frequency being Element of MS holds pentatonic_pythagorean_scale (MS,frequency) is pentatonic