証拠のアルゴリズムの複雑な機能を制限

理由の！=多くの人が（例えば、分母がゼロになる）可能性の高い内部関数の値を取るように外側の関数が全く定義された状況を表示されない原因になりますだと思いますが、実際には、これは必ずしも必要ではG（X）ではないことがわかったU_0 。言っても過言ではない、非常に詳細な導き出します。

---

---

 証明します

 すなわちG（X）！= U_0は、Gを確保することである（x）関数の外側の限界を反映するために変更されなければなりません。