第一百零七节 推断x和x证明