te1(\(A,@(*(A),^(j))),sub,m,[],[],0,1)
te1(\(A,@(*(A),^(m))),obj,f,[],[],2,3)
te1(\(A,@(*(A),^(m))),obj,f,[sub(\(B,@(*(B),^(j))),C,m)],[],2,3)