Foundations of Mathematics 11 (MAT521A)
4. Derive proofs involving properties of angles and triangles