Nel so Analís y Síntesis, puede ser el primeru n'afirmar que tou númberu par perfectu ye de la forma 2n−1(2n − 1) onde 2n − 1 ye primu, pero nun foi capaz de xustificar esta resultancia, que Leonhard Euler demostró más tarde que nel sieglu XVIII.[32]