>>767
 (x+y)^1 = x^0 y^1 + x^1 y^0
を使ってる訳か。
これは、多項式では x^0=y^0=1 などと約束されているらしい。
>>466 に始まり >>506 で終わってる。