Cataldi determinó que si formula_13 es primo entonces formula_4 ha de ser primo y formula_15 ha de ser perfecto.