please look at the pic.
I do not know whether the 4-th line is correct or not.
The formula is from the file, which is colored in yellow.
Roughly I think it is correct.
But I do not know how to prove it.
Thank you very much!
Problem has been solved!
Thank you for your attention!
the formula is correct!