Category:Group/Examples/inv x = 1 - x