ｘ≠０からｘ＝ｇ（ｗ），ｗ＝ｇ（ｖ），ｖ＝ｇ（ｕ），．．．のように逆向きにたどっていくといつかは止まる。
止まったところをａとするとｘはｇ＾０（ａ），ｇ＾１（ａ），ｇ＾２（ａ），ｇ＾３（ａ），．．．という列に含まれる。
この列の最初のｋ個は奇数で０以外の整数はこういう形の列のどれかに含まれるので
ｇが決まれば奇数をｋ個ずつの列の分ける分け方が決まり
奇数をｋ個ずつの列の分ける分け方が決まればｇが決まる。