Propriétés de l'addition dans ID

Je dois être capable à la fin de cette leçon de :

• reconnaître une égalité traduisant la commutativité de l'addition dans ID

• reconnaître une égalité traduisant l'associativité de l'addition dans ID

• utiliser les propriétés de l'addition ID pour résoudre des problèmes