theorem Th3: :: QUATERN2:3

for c being Quaternion holds c + 0q = c