theorem Th45: :: MUSIC_S1:56

REAL_Music is classical_octave