formula_29 Q.E.D.