The {0} cells {1} are the only possible positions of the
{0} values {2} in the {3}.
Because the number of possible cells matches the number of values,
these {0} cells must contain these {0} values in any order.
Other potential values can therefore be removed from these cells.