Two fund separation theorem