Stable pseudofinite groups

The main theorem is that if G is a pseudofinite group with stable theory, then G has a definable normal soluble subgroup of finite index.