theorem :: MUSIC_S1:3

RAT+ c= RAT