Acadêmicos
Gerais
Quando a indução vulgar falha somente com grandes números:
Por exemplo: gcd(n^17 + 9, (n+1)^17 + 9) = 1 até
n = 8424432925592889329288197322308900672459420460792433
Use python -> from fractions import gcd -> n = ... ->
gcd(n**17 + 9, (n+1)**17 + 9)