theorem Th32: :: MUSIC_S1:39

REAL_Music is satisfying_harmonique_stable