高木の存在定理
類構造(英語版)(Class formation)