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