theorem Th37: :: MUSIC_S1:44

RAT_Music is satisfying_fifth_constructible