네 맞습니다. 편의를 위해 f의 역함수를 f*, g의 역함수를 g* 이라고 하면, f(g(x)) 의 역함수는 f*(g*(x)) 가 아니라 g*(f*(x)) 이기 때문에 일반적으로는 f(g(f*(g*(x))) 가 항등함수인지 아닌지 알 수 없습니다. 다만, 교환법칙이 성립하는 함수에 대해서, 즉, f(g(x)) = g(f(x)) 인 두 함수 f(x) 에 대해서는 f(g(f*(g*(x))) = g(f(f*(g*(x)) = g(g*(x)) = x 가 되어, 항등함수가 됩니다.