증명: (a + b - 2ab) (a + b - 2) + (1 - ab) ^ 2 = (a - 1) ^ 2 (b - 1) ^ 2

증명: (a + b - 2ab) (a + b - 2) + (1 - ab) ^ 2 = (a - 1) ^ 2 (b - 1) ^ 2

증: (a - 1) ^ 2 (b - 1) ^ 2 - (1 - ab) ^ 2 = [(a - 1) + (1 - ab)] [(a - 1) - (b - 1) - (1 - ab)] = (ab - a - b + 1 + 1 - ab) (ab - a - b + 1 + ab) = (- a - b + 2) (2ab - a + b - 2) = (a + b - 2ab) (a + b - 2) (a + b - 2ab) (a + 2ab) (a + 2) + b - b - 2) + a - b (a - 1 - 2)