Let S be a finite set and let S1, S2,..., Sk be a partition of S into non-empty dis- joint subsets. Define the structure (S, I) by the condition that I = {A | ||An S;| > 1 for i = 1,2. . . , k}. Show that (S, I) is a matroid