Geroch's splitting theorem