theorem Th3: :: QUATERN2:3

for c being quaternion number holds c + 0q = c