theorem Th33: :: MUSIC_S1:40

RAT_Music is satisfying_harmonique_stable