for c being Quaternion holds 1q * c = c