proof1031a angABCsize18 cgsize18 angCDAsize18,angABCsize22 cgsize22 angCDAsize22 triABCsize18 cgsize18 triCDAsize18 1:segABsize18 cgsize18 segACsize18:rsnGiven:0 2:segABsize20 cgsize18 segACsize20:rsnGiven:1 3:seABsize22 cgsize22 segCAsize22:0 segBD