The scheme of the proof of Theorem 1. (A) an initial protocol evaluating function f with bias , using Q qubits; (B) memoryless protocol, with the same bias, using qubits; (C) protocol using quantum correlations and qubits, with bias still about ; (D) protocol gives small bias for any classical correlation if is sufficiently smaller than .