لم:برای تابع
اگر
ضربی باشد انگاه
ضربی میشود.(اثبات این تو میرزاخانی هست )حال اگر
تعریف کنیم که این تابع ضربی است انگاه
ضربی میشود.
حال با مقایسه طرفین بدست میاید که n باید حداکثر 2 عامل اول باید داشته باشد بعد میتوان توان عاملها را محدود کرد و جواب را بدست اورد.