que F no es vacío.