Mantido pelo grupo "Topologia do Interior"
Mostre que cada subconjunto finito está dentro de um ultrafiltro usando a hipótese do absurdo.