Completando demostración de que D es sistema de Dynkin en 4.1.2