Next, we set



Then, one computes






Furthermore, one checks that

Plugging this into (8), we obtain