Пусть F — набор подмножеств n-элементного множества, удовлетворяющий следующим свойствам:
Доказать, что
В целом, понятно как доказывать, если модулей нет, через линейную алгебру. Есть неравенство Фишера, которое говорит о том, что если пересечение равно какому то постоянному числу, то это
выполняется.
Это доказывается через линейную алгебру, из того, что вот эта формула не равна 0, если
.
Как это приспособить для модулей и можно ли, я не могу догадаться и вообще с арифметикой по модулю мне очень тяжело.
Буду благодарен за любую помощь