theorem Th19: :: VECTSP_2:19

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