Since ½C1 C2 C3 form the first sub-grid, which contains all nine numbers,
it is clear that each of the first three columns, as well as each leftmost subgrid,
will also contain exactly those nine numbers. Similarly, the fourth to
sixth columns will be completed, and so will be the seventh–ninth columns.