用反证法证明;三段论第一个的规则;小前提必须肯定