theorem Th22: :: WAYBEL_7:22

for L being Boolean LATTICE
for F being Filter of L holds
( ( F is proper & F is prime ) iff F is ultra )