We present a classical result concerning iterations of proper forcings, namely that the properness is preserved by countable support iterations. We will follow section 3 of Tools for your forcing construction by M. Goldstern.