Nếu n là số tự nhiên sao cho n² chia hết cho 5 thì n cũng chia hết cho 5”.
Ta chứng minh bằng phản chứng.
Giả sử tồn tại n∈N để n² chia hết cho 5 nhưng n không chia hết cho 5.
Nếu n=5k+1(k∈N) thì n²=5k(5k+2)+1 không chia hết cho 5.
Nếu n=5k−1(k∈N*) thì n²=5k(5k−2)+1 không chia hết cho 5.