Methods Generalization, illation are used to prove the conclusion.

• 方法采用推理的方法进行了证明。