théorème d'adjonction