theorem Lemacik: :: ROUGHIF2:5

for A, B being finite set st A \/ B <> {} holds
1 - ((card (A /\ B)) / (card (A \/ B))) = (card (A \+\ B)) / (card (A \/ B))