Tenga en cuenta que sip es un primo distinto de2, entoncespk±1 es divisible por2 y por lo tanto no un primo. Entoncesn es perfecto si y solo sin es de la forma\(2^{k-1} ...Tenga en cuenta que sip es un primo distinto de2, entoncespk±1 es divisible por2 y por lo tanto no un primo. Entoncesn es perfecto si y solo sin es de la forma2k−1(2k−1) donde2k−1 es primo. Sólo tenemos que probar que si un número parn=q2k−1 dondek≥2, es perfecto entonces es de la forma estipulada. Futhermore, la misma ecuación dice aquelloσ(q)=σ(2k−1)=2k que prueba que2k−1 es primo.