some theorem assert the existence of a unique element with a particular property. in other words, these theorem assert that there is exactly one element with this property. To prove a statement of this type we need to show that an element with this property exists and no other element has this property. The two parts of a uniqueness proof are