theorem Th31: :: MUSIC_S1:38

RAT_Music is satisfying_linearite_harmonique