The composition of a function and its inverse is always .