<div class="preu">    
La ncessit de  \link{mainS2S8S2}{l'quivalence}{Eq3}) est une consquence de
la  \link{mainS2S8S1}{formule}{Eq2})
si l'on pose \( g(t)= t^{q-1} \). Pour en montrer la suffisance, on
utilise le fait qu'un polynme de degr \( p-1 \) est une combinaison
linaire de \( 1, \; t, \; \cdots , \; t^{p-1} \) et que l'intgrale
\( \displaystyle \int^1_0 g(t) \; dt \) ainsi que l'expression \( \displaystyle \sum_{i=1}^{s} b_i g(c_i) \)
sont linaires en \( g \). 
</div>