Lesson 11 - Unknown angle proofs-proofs of known facts