Portfolio separation theorem