theorem Th17: :: MUSIC_S1:20

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