Separation theorem