proof1031a segAB pa segCD,segAC pa segBD triABD cg triDCE 1:segAB pa segCD:rsnGiven:0 2:angCAD cg angBDA:rsnAltIntAngEq:1 3:segAC pa segBD:rsnGiven:0 4:angBAD cg angCDA:rsnAltIntAngEq:1 5:segAD cg segDA:rsnRPC:0 6:triABD cg triDCE:rsnASA:2,4,5 segBD,segAC,segCD,angABD,triABD,triADC,rsnSSS,rsnAAS