20定理证明