theorem Th18: :: VECTSP_2:18

for SF being Skew-Field
for x, y, z being Scalar of SF st y <> 0. SF & z <> 0. SF holds
x / y = (x * z) / (y * z)