Inverting quaternions

It is that: