Before revision:  We prove that for additive valuations, an allocation that is both Pareto optimal and strongly WEF1 always exists ;
After revision:  We show that for additive valuations, an allocation that is both Pareto optimal and strongly WEF1 always exists ;