یک چند جمله ای با ضرایب گویاست. فرض کنید اعداد جبری باشند و داریم . ثابت کنید برای هر مزدوج با ،وجود دارد مزدوج با به گونه ای که . ( منظور از مزدوج های ریشه های چند جمله ای مینیمال آن هستند.)