consider F being proper Filter of (BoolePoset X);
ex G being Filter of (BoolePoset X) st
( F c= G & G is ultra ) by Th30;
hence ex b₁ being Filter of (BoolePoset X) st b₁ is ultra ; :: thesis: verum