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