Автор - Grishan4ik1
1²⁰¹⁹ + 2²⁰¹⁹ + 3²⁰¹⁹ + ... + 28²⁰¹⁹ + 29²⁰¹⁹ + 30²⁰¹⁹ ≡ 1²⁰¹⁹ + 2²⁰¹⁹ + 3²⁰¹⁹ + ... + 15²⁰¹⁹ + (-15)²⁰¹⁹ + ... + (-3)²⁰¹⁹ + (-2)²⁰¹⁹ + (-1)²⁰¹⁹ = 1²⁰¹⁹ - 1²⁰¹⁹ + 2²⁰¹⁹ - 2²⁰¹⁹ + 3²⁰¹⁹ - 3²⁰¹⁹ + ... + 15²⁰¹⁹ - 15²⁰¹⁹ = 0 + 0 + 0 + ... + 0 = 0 (mod 31). ⇒ 1²⁰¹⁹ + ... + 30²⁰¹⁹ кратно 31.
Q.E.D.