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