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