a×b^2+b+7がa^2×b+a+bの っていう式、 ２つの式のaと7が違ってるが、aとbを入れ替えた（交代式の亜種）式になってるわけだ。 ユークリッドで次数下げしろよって暗に言ってるようなものっ...