"Pour l’utiliser, il convient de spécifier d’abord les variables.  Les arguments de solve sont alors une équation (ou un système d’équations) suivie des variables à résoudre. Générer une version synonyme en une phrase des deux phrases précédentes : 
Pour l'utiliser, spécifiez d'abord quelques variables; alors les arguments à résoudre sont une équation (ou un système d'équations), ainsi que les variables pour lesquelles résoudre