展开 法图定理的等号成立的证明