{4} Cell Reduction Forcing Chain

With this solving technique, we will prove the following assertions:

Because the cell {1} cannot contain other values, and the results are the same, we can conclude that {2}.

Each assertion is proved by a different chain of simple steps. The chains can be dynamic, which means that the conclusions of multiple sub-chains are combined in some cases.

{5} {6}

The details of each chain are given below. Use the view selector below the grid to switch between the graphical illustrations of the different chains.

{3}