Soit
x∈E. Puisque par hypothèse on a
f qui est surjective, cela signifie qu'il existe
y∈E tel que
f(y)=x.
Dans ce cas, on a :
f(x)=f(f(y))=(f∘f)(y)=f(y)=xAinsi,
∀x∈E,f(x)=x ce qui implique que
f=IdE.
Donc
f est bijective, et de fait,
f est automatiquement injective.