Year 10: Formulate proofs involving congruent triangles and angle properties