複素数体であれば、任意のCM-タイプの A は、実際、数体である定義体（英語版）複素数体であれば、任意のCM-タイプの A は、実際、数体である定義体（英語版）複素数体であれば、任意のCM-タイプの A は、実際、数体である定義体（英語版）複素数体であれば、任意のCM-タイプの A は、実際、数体である定義体（英語版）