theorem Th14: :: VECTSP_2:14

for SF being Skew-Field
for x being Scalar of SF st x <> 0. SF holds
(x ") " = x