The {0} cells {1} are the only possible positions of the {0}
values {2} in the {3}.
Because the number of cells is equal to the number of values, these
{0} cells must contain these {0} values, in any order.
Hence we can remove the other potential values of these cells.