A1: B1 is open by Th38;
A1 is open by Th38;
then A1 /\ B1 is open by A1;
hence for b₁ being Subset of REAL st b₁ = A /\ B holds
b₁ is open by Th38; :: thesis: verum