The cancellation law for inf-convolution of convex functions