The only potential values for the {0} cells {1} in {3}
are the {0} values {2}.
Because the number of values matches the number of cells,
and each cell must have a value,
these {0} values are "locked into" these {0} cells,
in any order.
Hence other positions of these {0} values can be removed from {3}.