Necesitaremos el siguiente lema que provee una caracterización para el