With this solving technique, we will prove the following assertions:
Each assertion is proved by a different chain of simple rules. The chains are static, which means that each rule of the chain can be understood without having to remember the results of previous rules.
The details of each chain are given below. Use the view selector below the grid
to switch between the
{3}