Use a congruent pair to prove results: isosceles base angles equal, diagonals of a parallelogram bisect each other, the perpendicular bisector construction works. This is G6's use known results to obtain simple proofs. Circle-theorem proofs stay on the Higher circle pages. Both tiers. (G6)