The derivation of Eq. (
6
) is the main task; see, e.g. [
178
].