separation theorem