Refined Definitions 9 and 10, as well as Theorem 2.