式の値（次数下げ）