用反证法证明：在三段论第一格中小前提必须肯定。