Problem 2:
G:
Segment AB congruent Segment BC
P:
triangle ABC isosceles
PR:
Segment AB congruent Segment BC => G
triangle ABC isosceles => def isosceles