yes proof1031b stmAEandBDbisectEO triBAC cg triDCE 1:stmAEandBDbisectEO:rsnGiven:0 2:segAC cg segEC:rsnDefOfBisect:1 3:segBC cg segDC:rsnDefOfBisect:1 4:angACB cg angDCE:rsnVertAngsEq:1 5:triBAC cg triDCE:rsnSAS:2,3,4