Formal geometric proof

Link congruence, similarity and circle theorems.

One step at a time. Answers stay hidden until you have had a go.