Je vois pas comment ^^ c'est juste pour voir si ma méthode est bonne :
on veut démontrer que E=AUB tel que f(E)=f(AUB) et f est injective
je sais qu'on peut enlever directement le f mais j'ai essayé un autre truc :
x e E == f(x) e f(E)
== f(x) e f(AUB)
== x' e AUB / f(x') = f(x)
== x' e AUB et x'=x
== x e AUB