  In this paper we provide the techniques and proofs for the resuls presented
in our companion paper concerning the consistency check on volume and triad
operator quantisation in Loop Quantum Gravity.
