En este artículo se propone una identidad algebraica general para la suma de los divisores propios de todo número natural mayor que uno. Utilizando esta identidad y algunos resultados auxiliares, se demuestra que todos los números perfectos son de la forma que describe el Teorema de Euclides-Euler.