Hidden in the parent's comment is the additional condition that f(a,b) have an expected value of zero. It's still pretty easy to prove, though.