Problem:
 f(f(x,y),z) -> f(f(x,z),f(y,z))

Proof:
 Open