Mais je n'arrive pas à exploiter cette hypothèse pour mon exo.
Je pense qu'on doit considérer une Inv qui est l'inverse de a+b, puis pre et postmultiplier de manière astucieuse pour prouver a(a+b)b = b(a+b)a.
Mais je n'aboutit pas.
Sinon, j'ai exprimé un coefficient quelconque
voilà, merci d'avance, pour toute indice sur comment bien exploiter l'hypothèse a+b inversible !
Bonne soirée à vous