That works!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.