theorem :: QUATERN3:8

for z being quaternion number holds z - 0q = z