6.4.3 二维球面的基本群