I'm writing my bachelor thesis on Aliquot sequences and have to use some theorems' proofs and explain them in details. I need Lenstra proof from P. ErdÃ¶s paper here:

http://www.ams.org/journals/mcom/197...-0404115-8.pdf but I got totally stuck in the proof. First of all, I need to construct some sequence according the formula on the first page, but in some reason I got a very strange result. And I couldn't figure out the place "now for 1=< i =< l-1 we have ...". I really can't get where from and how we get (l-1) and why still pi^ti ||m. May be someone has read the paper and could give me some idea.

Thanks in advance, Lothar