theorem Th44: :: ARYTM_3:44

for a, b, c being natural Ordinal st c <> {} holds
(a *^ c) / (b *^ c) = a / b