sΦ(U)(sj(x),tj(x);x)=0,