iteración do-while es de tipo pos prueba.