Bonjour,
Dans le terme de gauche, on reconnaît la forme

dont une primitive est

(attention, ici f est une fonction, pas une variable ; attention je n'ai pas fait mention des éventuelles constantes multiplicatives, c'est juste "la forme générale")
La correction fait le changement de variable

mais ce n'était pas nécessaire, avec la remarque que je viens de faire, une primitive de

est

Dans le terme de droite c'est effectivement une formule : une primitive de

est
)
(attention, ici u est une variable, pas une fonction)
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.