Proving Congruence in Isosceles Triangle Extensions | Problems