Mostre que cada subconjunto finito está dentro de um ultrafiltro usando a hipótese do absurdo.