unique identity element proof