(xy+1)(x+1)(y+1)+xy=(xy+1)(xy+1+x+y)+xy=(xy+1)(xy+x+1)+y(xy+1)+xy=(xy+1)(xy+x+1)+y(xy+1+x)=(xy+x+1)(xy+y+1)
