5.2.2 射影定理推论