I just could not figure this particular step out in I2 for ages, so thought I’d better write something here for future reference.
I just could not see how they got from the penultimate step to the last one. Then I remember that:
which can be rewritten as:
Hopefully writing this out will help it stick in what passes for a memory around here.