In this section we prove Theorem 2. In Sections 3 and 4, we proved that the regular orbits Oreg of the sub-maximal models are open in M, and are homogeneous spaces of G. Let us write Oreg=G/Hreg, with G and Hreg as found in Section 3, i.e. G is one …