theorem Th33: :: QUATERN2:33

for c being quaternion number st c <> 0q holds
c / c = 1q