démonstration en algèbre