theorem Th50: :: MUSIC_S1:61

RAT_Music is satisfying_octave_descendent_constructible