Sejam os conjuntos P1, P2, S1 e S2 tais que (P2∩S1)⊂P1, (P1∩S2)⊂P2 e (S1∩S2)⊂(P1∪P2). Demonstre que (S1∩S2)⊂(P1∩P2).