What is the reason called when there are two legs on an isosceles triangle, are bisected using a mid segment to form a trapezoid, and you are trying to prove the legs of the trapezoid are congruent?