FWT[A]i=∑j=0n−1c(i,j)AjFWT[A]_i=\sum\limits_{j=0}^{n-1}c(i,j)A_jFWT[A]i=j=0∑n−1c(i,j)Aj 中,ccc 可以逐位处理是为什么,有人能证明一下吗