A three mutual fund separation theorem