Bourbaki marks this one as harder than the rest.
Cho X=(ξij) là một ma trận vuông cấp n trên một trường giao hoán K; cho H là một tập con của {1,n} gồm p phần tử và H′ là phần bù của H trong {1,n}; giả sử rằng, với mọi cặp có thứ tự các chỉ số h∈H,k∈H′,
i∑ξihξik=0. Chứng minh rằng, với mọi tập con
L,M của
{1,n} gồm
p phần tử,
ρM′,M′det(XL,H)det(XM′,H′)−ρL,L′det(XM,H)det(XL,H′)=0. (Xét các cột
xh có chỉ số
h∈H trong
X như các vectơ trong
E=Kn và các cột
xk∗ có chỉ số
k∈H′ như các vectơ trong
E∗ và chứng minh rằng dạng
(n−p)-hình
xH′∗ tỉ lệ với
ϕp(xH).)