theorem Th35: :: MUSIC_S1:42

REAL_Music is satisfying_fifth_constructible