D | congruent | f_(x x) f_(y y) - f_(x y) f_(y x) | = | f_(x x) f_(y y) - f_(x y)^2, where f_(i j) are partial derivatives.