Prove nested disj-sum/e is unfair