Изменения

||proof=

Пусть <tex>~l</tex> {{---}} это количество множеств, мощность пересечения которых мы ищем. Для случая <tex>~l=1</tex> и <tex>~l=2</tex> теорема, очевидно, верна. Таким образом, <tex>~l=2</tex> {{---}} база индукции.