§16 运动的几何学中的基本命题