MathCastle
Proof WritingHardExistence, Uniqueness and Counterexamples

Existence, Uniqueness and Counterexamples · Hard problem

For how many ordered pairs (a,b)(a, b) with 0≤a,b≤70 \le a, b \le 7 is a2≡b2(mod8)a^2 \equiv b^2 \pmod 8 true but "a≡ba \equiv b or a≡−b(mod8)a \equiv -b \pmod 8" false?