具有多个同余关系的格是平面的

设 $L$ 为一个 $n$ 元有限格。我们证明若 $L$ 严格多于 $2^{n-5}$ 个同余关系，则 $L$ 是平面的。该结果是尖锐的，因为对每个自然数 $n\geq 8$，存在一个恰有 $2^{n-5}$ 个同余关系的非平面格。