能严格证明出来，倒着推用反证法