Теорема о предельном распределении числа ложных решений системы нелинейных случайных булевых уравнений

Доказана теорема о пуассоновском с параметром $2^m$ предельном $(n\to\infty)$ распределении числа ложных решений заведомо совместной системы нелинейных случайных булевых уравнений со стохастически независимыми коэффициентами. Среди предположений теоремы, в частности, следующие: распределения коэффициентов изменяются в некоторой окрестности точки $\frac 12$; число $n$ неизвестных и число $N$ уравнений системы отличаются на константу $m$ при $n\to\infty$; система имеет решение с числом единиц $\rho(n)$, $\rho(n)\to\infty$ при $n\to\infty$.