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