Nhận thấy bất kì binh phương số nào chia cho 7 chỉ có thể dư 0,1,6 (có thể đặt 7k+1;7k+2... để CM)
TH1: Nếu có bất kì số chia hết cho 7 thì hiển nhiên chia hết cho 7
TH2: Nếu ko có số nào chia hết cho 7, theo Dirichlet thì chắc chắn trong a^2,b^2,c^2 có 2 số cùng số dư khi chia cho 7 nên 1 trong 3 (a^2-b^2)... sẽ có 1 số chia hết cho 7 -> chia hết cho 7