for MS being MusicSpace
for frequency being Element of MS holds Fifth (MS,frequency) is_Between frequency, Octave (MS,frequency)