The identity is unique. One of the first proofs I ever did. Still one of my favorites.