x² + y² - x²y² - 4xy - 1= (x² + y² - 2xy) - (x²y² + 2xy + 1)= (x - y)² - (xy + 1)²= (x - y + xy + 1)(x - y - xy - 1)