It is not the case that Harsanyi's aggregation theorem shows separability can be derived from expected utility axioms without presupposing any stance in the egalitarianism-prioritarianism debate.
?Set your confidence on the premises below to see your aggregate.