N-group theorem