Prove that the inverse of the inverse of an element is the element?