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