この手順では仮定と式 PPP、B1B2B_1B_2B1B2、PA/PC=BA/BC=sinC/sinAPA/PC=BA/BC=\sin C/\sin APA/PC=BA/BC=sinC/sinA、PAsinA=PCsinCPA\sin A=PC\sin CPAsinA=PCsinC、PAsinA=PBsinBPA\sin A=PB\sin BPAsinA=PBsinB を用いて、示された結論を導く。