theorem :: MUSIC_S1:90

9 / 8 = 9 / 8 ;