2a_0+1≠1$を満たす正奇数の任意定数。命題1-8によって$D(2a_0+1)$は重複項を持たない。二度と実行されることがない。$2a_{-1}+1と2a_1+1$は等しくない。命題1-8によって$D(2a_1+1)$は重複項を持たない。二度と実行されることがない。実行されることがない。実行されることがない。\}$は全単射である。2a_{p+1}+1≠2a_{-n}+1$はコラッツ予想の題意の真偽とは無関係に恒に成立する。その中に重複項をもつことはない。以外に閉じた部分がない。