There could be more than one elementary embedding between a model and its elementary extension. We develop a nonstandard analysis framework by iterating ultrapower constructions and present two different elementary embeddings at each stage. We hope that this framework gives powerful tools in applications. As a testing case we give a simple nonstandard proof of multidimensional van der Waerden’s theorem in this framework.