Can you prove theorem 3?
Please enable Java for an interactive construction (with Cinderella).
You could print out this page and then write on it.