It is a routine matter <a matter of routine> to show that......
Indeed, it is routine to verify that the index so constructed is independent of the choices made.
The remainder of the proof is routine.
We sketch the rest of the proof, leaving routine details to the reader.