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