the factors of 5 are addressed by noticing that since the residues of modulo 5 follow the cycle and those of follow the cycle , the residues of modulo 5 cycle through the sequence . Thus, iff for some positive integer . The LTE lemma can now be applied again: . Since , . Hence . Combining these three results, it is found that , which has positive divisors. References Lemmas in number theory