15.5.7 GHS算法的正确性证明