¹ Several simplifications are introduced, nevertheless they do not imply a loss of generality.