%lemmaB3b

lemmaB3b(S,T,U,V) == (betas(S,T) => (betas(U,V) => betas(app(S,U),app(T,V)))).