Al darse cuenta de que 2 – 1 es un número primo en cada caso, Euclides demostró que la fórmula 2(2 – 1) genera un número perfecto par siempre que 2 – 1 es primo.