Trên bảng có n số nguyên dương phân biệt ( n 2). Ta thực hiện phép toán T như sau: Mỗi lần xóa đi hai số x, y trên bảng và thay vào đó hai số: $\bigg[ \frac{x+3y}{4} \bigg]$ và $\bigg[ \frac{y+3x}{4} \bigg]$
Với [c] là số nguyên lớn nhất không vượt quá c.
C/m sau một số hữu hạn thực hiện phép toán T nói trên ta có thể biến đổi dãy n số trên thành n số tự nhiên có cùng tính chẵn lẻ.