From direct observations we have

. Introducing recent values for

,

, and

[8], we get for the expression on the right side of (9)