この手順では仮定と式 D,E,FD,E,FD,E,F、PPP、BC,CA,ABBC,CA,ABBC,CA,AB、E,FE,FE,F、PAPAPA、EF=PAsinAEF=PA\sin AEF=PAsinA を用いて、示された結論を導く。