Soit T:V->W une application lineaire, X un sous-espace de V tel que XCkerT, et soit q:V->V/X l'application quotient definie par

q(v):=[v]= v+X

a) Demontrer qu'il existe une unique application lineaire S:V/X->W telle qu T = Soq.