Correctitud 2a, falta explicar mejor correctitud 2b