démonstration algébrique