https://es.studenta.com/question/125075918/ejercicio-2-a-falso-el-invariante-debe-valer-en-la-pre-y-post-unicamente-en-las-