preuve algébrique