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!