theorem Th13: :: MUSIC_S1:15

for a, b, c, d being Element of RATPLUS holds
( RAT_ratio (a,b) = RAT_ratio (c,d) iff RAT_ratio (b,a) = RAT_ratio (d,c) )