Description: The inverse of the ring unity is the ring unity. (Contributed by Mario Carneiro, 18-Jun-2015)