FAQ: How do you show that exp(T S inv(T)) = T exp(S) inv(T)?