It's proved for a subset of functions. Maybe you can prove it for more.