Ta có: x^2 + y^2 chia hết cho 4
Điều này có nghĩa là tổng x^2 và y^2 chia hết cho 4.

Giả sử x chẵn và y chẵn, ta có:
x = 2a và y = 2b (với a, b là các số tự nhiên)

Thay vào tổng x^2 + y^2, ta có:
x^2 + y^2 = (2a)^2 + (2b)^2 = 4a^2 + 4b^2 = 4(a^2 + b^2)

Vì a^2 + b^2 là một số tự nhiên, nên 4(a^2 + b^2) chia hết cho 4.

Do đó, nếu x và y là các số tự nhiên thỏa mãn x^2 + y^2 chia hết cho 4, thì xy chia hết cho 4.