I /\ J is Subset of ;
hence I /\ J is Subset of ; :: thesis: verum