この手順では仮定と式 A,Q,CA,Q,CA,Q,C、∠NQC=∠BAC\angle NQC=\angle BAC∠NQC=∠BAC、QNQNQN、ACACAC、ABABAB、ACACAC、QN∥ABQN\parallel ABQN∥AB、QN∥APQN\parallel APQN∥AP を用いて、示された結論を導く。