Fibonacci number
If formula_61 is a Fibonacci number then no Lucas number is divisible by formula_62.