Más correcciones de estilo y alguna demostración mejorada.