finish the proof that pi1(S1)=Z