theorem Th13: :: RPR_1:13

for E being non empty set
for A, B being Subset of E holds A /\ B misses A /\ (B `)