You require that , and my filter does not contain empty set. I'm trying to find a counter-example because either I misunderstand the statement of the theorem, or the theorem is false.

Some proofs just happen to have mistakes. Unfortunately, I don't understand yours, it apparently uses lot of notation (up, down, Cor, ...) that I'm unfamiliar with.

## Is it really?

You require that , and my filter does not contain empty set. I'm trying to find a counter-example because either I misunderstand the statement of the theorem, or the theorem is false.

Some proofs just happen to have mistakes. Unfortunately, I don't understand yours, it apparently uses lot of notation (up, down, Cor, ...) that I'm unfamiliar with.