With this solving technique, we will prove the following assertions:
Each assertion is proved by a different chain of simple steps. The chains are static, which means that they do not rely on the conclusions of previous sub-chains.
{5} {6}
The details of each chain are given below. Use the view selector below the grid
to switch between the
{3}