Forcing X-Chain {4}

If we assume that {0}, it follows, through a Forcing X-Chain, that {1}. Therefore we can conclude that {2}.

The forcing chain consists of a chain of implications based on simple rules. The chain is an X-Chain, because it only involves a single value. The details of the Forcing Chain are given below.

Details of the Forcing Chain:
{3}