6.4.4 三维球面的基本群