theorem Th20: :: CARD_FIL:20

for X being infinite set
for F being Filter of X st Frechet_Filter X c= F holds
F is uniform