不知道这样证明的过程严谨不严谨。