证明：三段论第一格"小前提必须是肯定判断"。