>>218 の指摘は、「二分木上に一意に配置される」という観点からいうと、
ある「４で割って1 余る奇数」を d （odd の d です。o だとゼロと紛らわしい
ので）としたとき、「d が d≡0(mod 3)のときには、そこより先に（次の数 d' が
出てくるような）枝はない」「d が d≡1(mod 3)のときには、奇数枝が出ないので、
あるとすれば偶数枝の先に d' がある」「d が d≡2(mod 3)のときには奇数枝も
出るので、奇数枝と偶数枝の両方の先に d' （とか d'' とか）がある可能性がある」という
話になるんじゃないか、と思います。ですから、非常に納得のゆく視点です。
等差級数うんぬんの話というのは、そこから自然に導かれる帰結なのでは
ないでしょうか。