学习了同一法，以前没用过。

【 在 alanju 的大作中提到: 】
: 反证法和同一法，都是间接证明法。
: 没有所谓的 必须直接证明。
:
: ...................
--
FROM 222.129.54.*