展开 法图引理的证明