Let be a function on the -Biased Cube Then define Lemma Lemma If is the Discrete Fourier Transform on the Biased Cube, then: Lemma Let be defined as Then and and are orthogonal. Proof Also Therefore For orthogonality, note that and and don’t depend on . So by conditioning on everything except we find