consider p being Point of ;
Cl {p} is irreducible by Th26;
hence ex b₁ being Subset of st b₁ is irreducible ; :: thesis: verum