theorem S-termsOfMaxDepth.m c= S-termsOfMaxDepth.(m+n) by Lm5;
