I found this expression on Wikipedia:
If , then ,
where and are identity functions.
I wanted to see whether it's true. So I rewrite the expression using the definition of composite function.
Definition:
for , , , and .
I replaced with in and replaced with , where . So I wrote the expression for the LHS
Let and , where and .
, but now my difficulty being that I don't know how to express the RHS
I can't find any information anywhere on the web proving .
Could someone please show me how to write the expression for the RHS?