“…Since the metric is hyper-Hermitian, for any vectors X and Y , F 1 (X, Y ) = F 2 (I 3 X, Y ). Through the integrability of the complex structures I 1 , I 2 , I 3 , the quaternion identities (5) and the last two identities in (21), one derives the first identity in (21). Therefore, we have the following theorem which justifies our definition for potential functions.…”