en ft, tu peux soit utiliser un lemme en faisant une remarque ± astucieuse