从对称型进行推导可得出（）种不同的单型。