theorem Th48: :: MUSIC_S1:59

REAL_Music is satisfying_octave_descendent_constructible