preuve en algèbre