Proofs are provided either for the theorems explicitly states in the paper or for the theorems only mentioned there. In both cases the paper’s numbering is followed: the latter case uses the Arabic and the former case Latin numerals.