"Par exemple, il est possible d'ajouter automatiquement la nouvelle règle A2-B2 = (A + B) * (A-B) de l'interface une fois qu'elle a été prouvée.  Cette règle peut être utilisée dans les transformations suivantes. Ecrire une version synonyme en une phrase des deux phrases précédentes : 
Par exemple, une fois que la règle du produit remarquable a2-b2= (a+b) * (a-b) a été démontrée, il est possible d’ajouter la nouvelle règle dans l’interface pour l’utiliser dans les transformations suivantes.