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