theorem Th49: :: ARYTM_3:49

for l, i, j, k being natural Ordinal holds (i / j) *' (k / l) = (i *^ k) / (j *^ l)