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