f(a,b)=f(a)*f(b)
양변이  같다는 게 어째서  독립임?