Bruno, I fixed my proof. Hopefully convincing now

So we assumed had no fixpoint and , and .

As shown before we know that are closed under

Now let . Then we have . Suppose that then but since this contradicts the fact that .

Now since we have and we can find ( this is clearly true since

But then we have and this is a contradiction.