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