theorem S-termsOfMaxDepth is sequence of bool((AllSymbolsOf S)*);
