A note on the spectral characterization of correlation immune Boolean functions

We present a new proof of the Walsh transform characterization of correlation immune Boolean functions. Also we provide a simpler proof of the fundamental relation between order of correlation immunity and algebraic degree of a Boolean function.