在证明中，如果你遇到困难，请考虑用矛盾证明法