nombres para las propiedades contenidas en el teorema.