用适当方法证明：如果那么。