Methods It is proofed by logical inference method.

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