Аннотация. Доказана теорема, улучшающая ранее известную верхнюю границу для относительного расстояния между булевой функцией от n пременных и множеством k-мерных функций, k < n. Доказательство базируется на применении неравенства Бонами–Бекнера.

Ключевые слова: корреляционный криптоанализ, k-мерная булева функция, бент-функция, преобразование Уолша–Адамара, неравенство Бонами–Бекнера.