  This is an addendum to a previous article, which aims to provide the proofs
of some results in that paper (Theorem 7.5 and Proposition 9.15) which were
removed from its final version. The reason for such omission is that these
proofs follow quite closely others already present in the literature, with
minor modifications. I make them publicly available for the sake of
completeness.
