一个有效的三段论，有且只有( )不同的项。