..While trying to prove a mathematical relationship, I ended up with the following term

Where, F and G represent functions that accept inter arguments and return real numbers.

Now, the final goal of my proof is equal to

Can some one please help me if the above two can be proved to be equivalent. I would really appreciate if you could please illustrate all the intermediate steps in this proof.