یک جدول اولیه و یک جدول ثانویه n×n با اعداد 1, 2, \dots, n^2 داده شده است. در هر عمل میتوان ۴ خانهی مجاور که به شکل یک مربع 2 \times 2 هستند را انتخاب کنیم و به صورت زیر (یک واحد چرخش ساعتگرد) اعداد این ۴ خانه را جابجا کنیم.
شرط لازم و کافی برای اینکه جدول اولیه را بتوان با تعدادی از این اعمال به جدول ثانویه تبدیل کرد چیست؟