多項定理じゃないか?