2.4 空间群的推导