theorem Th46: :: MUSIC_S1:57

RAT_Music is classical_octave