この手順では仮定と式 FD=PBsinBFD=PB\sin BFD=PBsinB、DE=PCsinCDE=PC\sin CDE=PCsinC、DE=EF=FDDE=EF=FDDE=EF=FD を用いて、示された結論を導く。