A /\ B c= A by XBOOLE_1:17;
hence for b₁ being Subset of M st b₁ = A /\ B holds
b₁ is independent by Th3; :: thesis: verum