Si según se ejecuta una sentencia WHILE la condición resulta falsa directamente, entonces no se ejecutarán las sentencias interiores ninguna vez.