統語論的なカット除去定理証明