تنها کاری که کافیه انجام داده بشه اینه که این دو تا اثبات کنیم: فرض می کنیم که a حداقل b باشه .
و از طرفی دیگر
بعدش هم برای اثبات این دو تا هم کافیه نرمالیزه بشن بعدش هم تبدیل می شه به یه چند جمله ای بر حسب t که در آن a=1+t و t >0 و کافیه ثابت کنیم هیچ ریشه ای نداره ( چند جمله ایش در جه اش حداکثر 6 هست )