Presupunem ca exista n astfel incat:
n=2018•x+2017 => n este numar impar; (e suma a doua numere de paritati diferite)
n=2020•y+2018 => n este numar par; (e suma a doua numere pare)
n nu poate fi in acelasi timp si numar impar si numar par => presupunerea e falsa
=> nu exista numere naturale care impartite la 2018 sa dea restul 2017 si impartite la 2020 dau restul 2018.
