分解引理
Decomposition Lemmas
摘要：
我们定义了两个递归函数分解成四个封闭的部分，并证明了两个引理，确定这些功能的功能。
英文摘要：
We define two recursive functions obtained by decomposition of a given interval into four close parts and prove two lemmas which determine features of these functions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
