Proofs of general theorems

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