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