Dear all,

I have been trying to analytically prove a statement (which should hold) for a couple of days now, but am no longer making any progress. Any insights would therefore be very much appreciated. The statement is the following:

Given that , where , and and , show that .

My progress

Spoiler: