The proof of the example

Knot with a single crossing is equivalent to the unknot