We show that Arrow-Debreu equilibria with countably additive prices in infinite-time economy under uncertainty can be implemented by trading infinitely-lived securities in complete sequential markets under two different portfolio feasibility constraints: wealth constraint, and essentially...