On complement of residual of finite group

For a GWP-formation $\mathfrak{F}$ the L.A. Shemetkov’s theorem on the complementability of $\mathfrak{F}$-residual of finite group is developed.