8_17 with Seifert circles

Here is a simple but inefficient proof.

Another proof of Alexander's theorem.