Proof of the equivalence for Eqs. 15-18
end of proof