Proofs of general theorems that use triangle congruence

Gain even more experience with using triangle congruence and algebraic reasoning in proofs.