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