6.4.2 一维球面的基本群