貴重なご意見を頂戴いたしまして心より感謝いたします。
（3X-1)問題はほんの齧った程度なので、疎いので申し訳ないですが、
Cola（v）の定義の中で、　J(V）:＝{}というJ(V)を空集合として再定義する部分があります。
確かに91→17なので、17∈J(91）だからこの場合J（91）:＝J（91）∩J（91）となるのですが
J（17）={}は変わりません。しかしながらこれは命題1と表裏の関係にあるのでじっくり再考
してみます。有難うございます。
【書き間違いの訂正ですみません】