so(10)はパティ・サラムモデルを含む。