引理说的是四边形,而定理证明中构造了两个四边形,这两个四边形共用一个对角线,将此对角线消去,就是剩余六边满足的的关系式(6),但是 (6) 是因为消元而导致的三次曲线,从零点集的角度说,就是一条二次曲线与直线的并,其中二次曲线是 f(x,y)。