theorem :: QUATERN2:52

for c being Quaternion st c .|. c = 0 holds
c = 0