Add Mike’s proof of \pi_1(S^1)=Z