2^x=3^y+z
の整数解はzが大きすぎてコラッツの列である条件を満たさないとか言えないかな