Splitting theorem