theorem Th30: :: MUSIC_S1:37

REAL_Music is satisfying_linearite_harmonique