take the Element of QUATERNION ; :: thesis: the Element of QUATERNION is quaternion
thus the Element of QUATERNION is quaternion ; :: thesis: verum