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
That’s it really. As a corollary take and and then we see that
which is what we set out to demonstrate.