n=3^kが必要十分なのかな