proof1022 stmBCisthePBofAD,angA cg angD triABC cg triDBC 1:stmBCisthePBofAD:rsnGiven:0 2:segAC cg segDC:rsnDefOfBisect:1 3:stmBCAandBCDareRA:rsnDefOfPerp:1 4:angBCA cg angBCD:rsnRAC:3 5:segBC cg segBC:rsnRPC:0 6:triABC cg triDBC:rsnSAS:2,4,5 segAB,segBD,segAC,segCD,angABD,triABD,triADC,triDBC,rsnSSS