[½ (_m_ M - _e_E)²] + (_em_) (EM),
is >= 0, because (_em_ = ε Φ [=ψ], (EM) = μ Φ [=ψ]; now referring back
to 79), we can denote the positive square root of this expression as
Det^{1/4} S.
Since _ḟ_ = -_f_, and Ḟ = -F, we obtain for Ṡ, the transposed matrix of
S, the following relations from (78),
(84) F_f_ = Ṡ - L, _f_* F* = -Ṡ - L,