142.利用公式和定理证明等式。