О максимальном числе ребер в однородном гиперграфе, не содержащем запрещенных подграфов

Доказано, что максимальное число членов в семействе 4-подмножеств $n$-множества, где ни одно из подмножеств не содержит симметрической разности двух других, равно
$$ \biggl[\frac{n}{4}\biggr]\biggl[\frac{n+1}{4}\biggr]\biggl[\frac{n+2}{4}\biggr]\biggl[\frac{n+3}{4}\biggr], $$
причем экстремальная конструкция единственна с точностью до изоморфизма. Библиогр. 11 назв.