81
правка
Изменения
Нет описания правки
|id=lemma1.
|statement=
Даны целые числа <tex>b</tex> >= <tex>s</tex> >= 0 и <tex>T</tex> является подмножеством {0, ..., <tex>2^b</tex> - 1}, содержащим <tex>n</tex> элементов, и <tex>t</tex> >= <tex>2^{-s + 1}</tex> С<tex>С^n_{k}</tex>
|proof=доказательство (необязательно)
}}
