xyz + xy + z = (xz + x + z) * (yz + y + z)

でも、2次*2次になっちゃってるし。これならいくらでも作れそう
なんか制限をかけないとmodの世界だと一意に因数分解できないのかも