SMS dit: Complementation of normal subgroups :