Completada demostración de teorema, y corregidos algunos índices