The Phistomefel Ring
The Phistomefel Ring is one of the most beautiful facts in Sudoku — a hidden symmetry that holds in every completed grid, no matter the puzzle. Named after the setter who popularised it, it was later featured by Cracking the Cryptic and even Numberphile, and it's as much a piece of mathematics as a solving trick.
The theorem
Draw a ring of the 16 cells that immediately surround the central 3×3 box — the cells in rows 3–7 and columns 3–7, minus the box itself. Now take the four corners of the grid: the four 2×2 squares in each corner, 16 cells in all. The theorem says: these two sets of 16 cells always contain exactly the same digits, in the same quantities. Whatever the puzzle, the ring and the corners are a perfect match.
(Note that the corner cells are the four 2×2 squares at the grid's corners — not the corner 3×3 boxes. It's a common slip.)
The 16 blue cells ringing the centre box always hold exactly the same digits — same quantities — as the 16 amber cells in the four 2×2 corners. True of every completed grid.
Why it's true
The proof is a lovely piece of set equivalence. Add up the four bands of rows 1, 2, 8 and 9 and the four bands of columns 1, 2, 8 and 9: together they cover each of those outer bands, and every digit appears a fixed number of times. Subtract the overlaps — the corner 2×2 squares get counted twice, the central region not at all — and what remains forces the ring and the corners to hold identical digit sets. It's the same "set equivalence" idea behind techniques like Sue de Coq, taken to a grand scale.
Is it useful for solving?
Honestly, on an ordinary puzzle you'll rarely need it — most grids fall to the everyday techniques long before a whole-grid symmetry helps. Where it shines is on specially constructed puzzles, particularly hard variant Sudokus, where the ring can crack an otherwise impenetrable position. Mostly, though, it's cherished for its sheer elegance: proof that even after decades, Sudoku still hides surprises.
In short
- The 16-cell ring around the centre box = the four 2×2 corners, digit for digit.
- True of every valid Sudoku solution, always.
- A set-equivalence theorem first and a solving aid second.
Which Sudoku types is this best for?
The same logic applies across variants, but it pays off more in some than others.