theorem :: QUATERN2:13

for r being quaternion number holds r * 0q = 0