A Design of Strategy-Proof Mechanism Whose Repeated Application Guarantees Pareto Efficiency in Public Good Economy