GIả sử x chẵn y lẻ => x + y lẻ ; x - y lẻ => Tích lẻ (loại)
Giả sử x lẻ y chẵn => x + y lẻ ; x - y lẻ => Tích lẻ (loại)
Giả sử x chẵn y chẵn => x + y chẵn ; x - y chẵn => Tích chia hết cho 4 (loại vì 1002 không chia hết cho 4)
=> Không có cặp x,y thõa mãng