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