ある奇数が 3 の倍数のとき、「×２」の操作を何度行なっても、
3 の倍数になる。そうすると、(3n + 1)/2 の逆操作が行なえない
（結果が自然数でなく分数になってしまう）ので、
「（n ではなく d（odd の d）と表記するとして）3 の剰余群
{0, 1, 2} のうち、d ≡ 1 または 2 のすべての有限な奇数が、1 を
根とした木の上にあることが示されれば、コラッツ予想は肯定的に
証明されることになる」と謂える。