Cho K là một trường, f=g/h là một phần tử của trường các phân thức hữu tỉ K(U,V) theo hai bất định, trong đó g và h là hai đa thức nguyên tố cùng nhau của K[U,V]. Bây giờ chứng minh rằng trong trường các phân thức hữu tỉ K(X1,Y1,…,Xn,Yn) theo 2n bất định, định thức det(f(Xi,Yj)) bằng:
(i,j∏h(Xi,Yj))−1V(X1,…,Xn)V(Y1,…,Yn)F(X˙1,Y1,…,Xn,Yn)
trong đó F là một đa thức của K[X1,Y1,…,Xn,Yn] và V(X1,…,Xn) là định thức Vandermonde (Alg., chap. III, § 6, No. 4). Trường hợp đặc biệt khi f=1/(U+V) (“đồng nhất thức Cauchy”).