Text this: Existence theorems for the implicit complementarity problem