:: deftheorem defines penta_fondamentale MUSIC_S1:def 69 :
for MS being MusicSpace
for frequency being Element of MS holds penta_fondamentale (MS,frequency) = (pentatonic_pythagorean_scale (MS,frequency)) . 1;