لم :
اگه کافیه ثابت کنیم که عامل اولی غیر از p داره که درسته (چون از p بزرگتره و حداکثر یه عامل p داره)
اگه مثل بالا. اگه یکی از استثناها.
اگه تعریف میکنیم
اگه A عامل اولی مثل q داشته باشه که n رو نشمره : q عدد اول جدیده
اگه هر عامل A عاملی از n باشه و q کوچکترین عامل اول A باشه...