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