for z being Quaternion holds z - 0q = z