no proof1102a marAB eq marDC segBD cg segCA hint1102 1:marAB eq marDC:rsnGiven:0 2:marBC eq marBC:rsnRPE:0 3:marAB+BC eq marDC+BC:rsnAPE:1,2 4:marAB+BC eq marABC:rsnArcAddPost:3 5:marDC+BC eq marBCD:rsnArcAddPost:3 6:marABC eq marBCD:rsnSub:5 7:arcABC cg arcBCD:rsnDefCg:6 8:segBD cg segCA:rsnCgArcsCgChords:7 segAB,segBD,segCD, triABD,rsnSSS,rsnAAS