Hello and welcome to MathHelpForum. I must tell you the your formatting makes that post very difficult to read, much less follow.

For any function .

That is a straightforward proof from the definitions.

If is injective the equality holds. Suppose that .

Then .

But is injective and so .

This means that . DONE.