Для цілих 1 [< або =] k [< або =] n+1, n = 0, 1, 2 … доведено нерівність [подано формулу]. Тут [подано формулу] - кількість усіх попарно відмінних k-вимірних підпросторів n-вимірного векторного простору над скінченним полем, кожний з яких має одиничну вагу.
