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