Propiedades de identidades - Identidades auxiliares