Montrer que si commute avec , alors commute avec , puis que commute avec .