L.O. 8: Proving right-angled triangles