theorem Th14: :: QUATERN2:14

for c being quaternion number holds c * 1q = c