theorem Th33: :: QUATERN2:33

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