Il suffit de démontrer que si commute avec , alors commute avec .