De hecho, Lucas no llegó a calcular realmente formula_14, utilizando ciertos atajos y resultados intermedios para demostrar la divisibilidad de formula_11 por formula_10.