theorem Th17: :: CARDFIL4:18

for X being non empty set
for cF being Filter of X holds cF is proper Filter of (BoolePoset X)