This is unreadable.

It should read for the first one

for everyProof:

:

(this is always true). So,

Lemma:

Proof: Suppose that and let . Since there exists some such that . But, since we see that and so which condtradicts 's injectivity. The conclusion follows

Now, then

so

from where it follows that

Let then and so from where it follows that