A1: Q = Cl Q by PRE_TOPC:52;
P = Cl P by PRE_TOPC:52;
then Cl (P /\ Q) = P /\ Q by A1, Th34;
hence for b₁ being Subset of TS st b₁ = P /\ Q holds
b₁ is closed ; :: thesis: verum