theorem :: QUATERN2:13

for r being Quaternion holds r * 0q = 0