Considere as seguintes definições:
I - os divisores próprios de um número inteiro positivo n são todos os divisores inteiros positivos de n, exceto o próprio n;
II - um número n será perfeito se a soma de seus divisores próprios for igual a n;
III - dois números serão números amigos se cada um deles for igual à soma dos divisores próprios do outro.
Se um número é maior que 1, então o conjunto dos seus divisores próprios tem, pelo menos, 2 elementos.
