Зад  1.0.0.2017.20       Нека S е множеството од сите подредени парови  (a,b ) од природни броеви за кои важи  0 < 2a < 2b < 2017 така што  a² + b² е делив со  2017. Докажи дека

Prob 1.0.0.2017.20       Let S be the set of all ordered pairs (a,b ) of integers with 0 < 2a < 2b < 2017 such that a² + b² is a multiple of 2017. Prove that