{} M is open ;
hence ex b₁ being Subset of M st b₁ is empty ; :: thesis: verum