Abstract: This paper points out it is incorrect proof of one theorem given by Zhang Wenying et al. that Boolean function there be annihilators with algebraic degree [n-k,] if the Boolean function in terms of the set of x values on which f（x）=0. It gives a simple rigorous proof for the theorem by structuring Cartesian product of linear spaces.

Key words: Boolean function, annihilators, algebraic attacks, Cartesian product

摘要： 指出了张文英等人关于零点集包含一个k维子空间的n元布尔函数一定存在[n-k]次零化子的证明，存在明显错误。利用线性空间笛卡儿积的思想，给出了关于上述结论的简洁、严密的逻辑证明。

关键词: 布尔函数, 零化子, 代数攻击, 笛卡尔积