theorem Th15: :: MUSIC_S1:17

for f1, f2, f3 being Element of RAT_Music st the Ratio of RAT_Music . (f1,f2) = the Ratio of RAT_Music . (f1,f3) holds
f2 = f3