Soient a_1,..,a_p des réels tels que la somme des a_iphi_i=0.
==> qqs P dans IR[X], la somme des a_iphi_i(P)=0.
==> qqs P dans IR[X], l'integrale entre a et b de ( la somme des a_if_i(t))P(t)dt=0
==> (par Weistrass ) la fonction (somme des a_if_i)=0
==> les a_i tous nuls