一百二十七个子半格与平面性

设 $L$ 为一个有限的 $n$ 元半格。我们证明:若 $L$ 至少有 $127\cdot 2^{n-8}$ 个子半格,则 $L$ 是平面的。对于 $n>8$,该结果是尖锐的,因为存在一个恰好有 $127\cdot 2^{n-8}-1$ 个子半格的非平面半格。