化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化（「列」于「整数」）而「爻」

文言：入参之约既定，诸返皆整，递参守约，乃许私门裸返。汉语：对已验证局部编号与作用域的统一正则函数，在给定整数参数前提下，证明所有正常返回都是整数；递归调用用归纳假设，但每次递归必须保持这些参数前提。未知结果、混合返回和复杂退出保守拒绝。算术只有在原位置成功执行后才产生整数事实；证明不允许改变公开入口或提前检查参数。