“…Now, in order to see that G σ = H σ , K σ , we only need to apply the above argument replacing σ-soluble residuals by σ-residuals, Corollary 6.5.48 of [4] by Lemma 3 (5) of [2], and to notice that locally σ-hypercentral groups are σ-hypercentral (so in this case R 1 = H σ , and so on). The above argument also yields that H σ K σ = K σ H σ : although the σ-residuals are not in general perfect, we may replace the theorem of Wielandt by Corollary 2.4.…”