This paper directly shows the equivalence between the existence of stationary monetary equilibrium and the conditional Pareto suboptimality of the initial endowment in a stochastic overlapping generations model. Especially, it gives short and constructive proofs for existence and uniqueness.