>298
展開したら斉次式でないことがわかるのなら、その式は元から斉次式ではなかったのです。

斉次式であるか、否かは、この証明に対して、どういう意味があるのでしょうか？