令 z = ∑HαHeH 为 n 维向量空间 E 的非零纯 p 向量,使用其相对于 E 的任意基 (ei)1≤i≤n 的分量来表示。 令 G 为 [1,n] 的子集,且 p 元素使得 aG=0;设(ih)1≤h<p是排列在递增阶中的G中指标的序列和排列在递增阶中的G的补码G'中指标中的(jk)1≤k≤n−p序列。 对于指标的每个有序对(h,k),使得1≤h≤p,1≤k≤n−p,令βhk为z相应的到子集H的[1,n]由……组成的分量αH G中的p−1指标不同于ih和指标jk∈G′;令 X 为矩阵 (βhk),其中有 p 行且n−p 列。 给定 [1,n] 的任意子集 L 和 p 元素,使得 L∩G 有 q≥1 元素,证明 (aG)q−1aL 等于阶 q 的 X 的小数, 指标 h 的行中的由……组成使得 ih∈G∩L 和指标 k 的列使得 jk∈L∩G′。 (将 z 写为形式 aGy1∧y2∧⋯∧yp,其中向量 yi 使得,在有 n 行的矩阵 Y 和 p 列中,其中列是 yi,其行的子矩阵由……组成指标属于到 G 就是单位矩阵。)