`recipSer` is an involution.