En este texto, necesitaremos solamente algunas propiedades