この手順では仮定と式 C,D,P,EC,D,P,EC,D,P,E、∠CPE=∠CDE\angle CPE=\angle CDE∠CPE=∠CDE、∠FPB=∠FDB\angle FPB=\angle FDB∠FPB=∠FDB を用いて、示された結論を導く。