theorem
  for X be non empty set, F be Filter of X holds
  union F = X by CARD_FIL:5,ZFMISC_1:74;
