thus <i> in QUATERNION by XBOOLE_0:def 3, Lmx; :: according to QUATERNI:def 2 :: thesis: verum