توجه:گنگ همان غیر گویاست
برهان خلف، فرض کنید هر سه ریشهٔ چندجملهای
$$r_i= \frac{p_i}{q_i}, i=1,2,3$$
کسرها ساده شده هستند.
با استفاده از قضیهٔ ریشهٔ گویا ها داریم که
$$q_i/a, p_i/d
$$
پس
$p_i, q_i$
فردند
بنابراین مجموع سه ریشه گویا بانسبتهای فرد نیز عدد گویا با نسبت های فرد می باشد در نتیجه b نیز فرد است.
از طرفی مجموع حاصل ضرب دو بدو ریشه ها با نسبتهای فرد نیز فرد می باشند پس C نیز فرداست
این همان تناقض است.