S-terms can eat at most three passive arguments

A proof to [A.Visser, 1981, PhD UU, Stelling 12].