T'as une autre version, si ça t'amuse.
Ker(gof) = Ker(gof) n E = Ker(gof) n (H + Ker(f)) = (Ker(gof) n H ) + (Ker(gof) n Ker(f)).
La premier terme est clairement égal à Ker(h) par définition de h et H, tandis que le premier est égal à Ker(f).
(Mais je préfère celle de Morph', elle est nettement plus éclairante. Là c'était juste du bourrinage ensembliste où tu comprends rien à ce que tu fais.
)