k را برابر مربع b بگیرید،پس عدد صحیح m موجود است که:
به وضوح دو عدد b و bm+1 نسبت به هم اولند.و حاصل ضرب آنها توان n ام شده است.
از طرفی طبق گزاره ای در نظریه اعداد می دانیم که هرگاه حاصلضرب دو عدد نسبت به هم اول توان n ام کامل باشد،هر یک از دو عدد توان n ام کامل است.
پس هریک از اعداد b و bm+1 توان n ام کامل هستند و حکم ثابت شد.