S1 /\ S2 c= S1 by XBOOLE_1:17;
hence S1 /\ S2 is vertex-disjoint ; :: thesis: verum