theorem Th79: :: MUSIC_S1:97

REAL_Music is satisfying_fourth_constructible