Estos teoremas son también equivalentes a la condición de unicidad.