56858b1bb91d037

http://nhiro.org.s3.amazonaws.com/d/e/de2c89bd5f86f899aee88892fbeeb003.jpg https://gyazo.com/de2c89bd5f86f899aee88892fbeeb003

(OCR text)

三次の項を二次に落とすルール

38

もし仮に新しい変数×を導入して

ab = x となる制約を作ることができれば

三次の項abcは二次の項xcに落とせる

ab = x はどうすれば作れるか?