一个有效的三段论，有且只有（）不同的项。