theorem Th44: :: MUSIC_S1:55

RAT_Music is satisfying_octave_constructible