Forcing Chain

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

The Forcing Chain consists of a chain of implications based on simple rules. The details of the Forcing Chain are given below.

Details of the Forcing Chain:
{3}