Chứng minh phản chứng ∀ n ∈ Z, n không chia hết cho 5 thì n^2 chia cho 5 dư 1 hoặc dư 4

Chứng minh phản chứng
1. ∀ n ∈ Z, n không chia hết cho 5 thì n^2 chia cho 5 dư 1 hoặc dư 4
2. ∀ n ∈ Z, n ≥ 2 thì 2^n -1 không phải là số chính phương
3. Nếu x khác -1 và y khác -1 thì x + y + xy khác -1
4. √2 + √7 là số vô tỷ