e1,...en une base de diago de u.
u(e1)=a1.e1 , ... u(er)=ar.er avec les ai positifs.
u(er+1)=...u(en)=0
Soit x tel que u(x)+v(x)=0
Alors 0= <x,u(x)+v(x)>=<x,u(x)> + <x,v(x)> >= <x,u(x)> = a1.x1^2 + .... + ar.xr^2
D'où x1=....=xr=0 et x appartient à Ker(u)