algorithm - logica - ¿Qué es un bucle invariante?