caasih_, au: 覺得應該找到建構性的證明了 ^^ 不過這樣建的不會是最短步數就是