:: deftheorem defines penta_2 MUSIC_S1:def 71 :
for MS being MusicSpace
for frequency being Element of MS holds penta_2 (MS,frequency) = (pentatonic_pythagorean_scale (MS,frequency)) . 3;