>>608
(y^2-1)x+y+1
=(y+1)(y-1)x+y+1
=(y+1)((y-1)x+1)