Cho một bảng kẻ ô vuông kích thước 7x7 (gồm 49 ô vuông đơn vị). Đặt 22 đấu thủ vào bảng sao cho mỗi ô vuông đơn vị có không quá một đấu thủ. Hai đấu thủ được gọi là tấn công lẫn nhau nếu họ cùng trên một hàng hoặc cùng trên một cột. Chứng minh rằng với mỗi cách đặt bất kì luôn tồn tại ít nhất 4 đấu thủ đôi một không tấn công lẫn nhau.