n²⁰⁰⁹ = n²⁰⁰⁸ + 2009
n²⁰⁰⁸•n = n²⁰⁰⁸ + 2009
n²⁰⁰⁸ + (n-1)•n²⁰⁰⁸ = n²⁰⁰⁸ + 2009
(n-1)•n²⁰⁰⁸ = 2009
(n-1)•n•n²⁰⁰⁷ = 2009
(n-1)•n este par oricare ar fi n.
Iar un număr par înmulțit cu orice alt număr este tot par.
Deoarece (n-1)•n•n²⁰⁰⁷ este par, iar 2009 este impar,
⇒ (n-1)•n•n²⁰⁰⁷ = 2009 (Contradicție!)
⇒ n²⁰⁰⁹ = n²⁰⁰⁸ + 2009 este falsă oricare ar fi n natural.