Esto implica que el bloque de instrucciones pude no ejecutarse ninguna vez, si la condición de entrada es inicialmente falsa.