theorem Th42: :: MUSIC_S1:53

REAL_Music is satisfying_octave_constructible