The formula

is not new but it doesn’t seem so easy to track down a simple derivation. A simple (formal) derivation of this runs as follows. First define,

where is a primitive such that . Then

But on substituting

and

this becomes

That’s it really. As a corollary take and and then we see that

which is what we set out to demonstrate.