Presupunem prin absurd ca x^2 - 5y^2 = 2018 are solutii
5y^2 = M5 (multiplu de 5)
2018 = M5 + 3
==> x^2 = M5 + 3
patratele perfecte au urmatoarele forme:
(5k)^2 = M5
(5k+1)^2 = M5 + 1
(5k+2)^2 = M5 + 4
(5k+3)^2 = M5 + 9 = M5 + 4
(5k+4)^2 = M5 + 16 = M5 + 1
===> p.p nu sunt M5 + 3 ==> contradictie (presupunerea facuta este falsa)
