Axiomatizing Political Philosophy of Distributive Justice: Equivalence of No-envy and Egalitarian-equivalence with Welfare-egalitarianism