Two-fund separation theorem