Mutual_fund_separation_theorem