proof of S combinator