A /\ X is Subset of E ;
hence X /\ A is Subset of E ; :: thesis: verum