Moon in a puddle and the four-vertex theorem

We present a proof of the Moon in a puddle theorem, and use its key lemma to prove a generalization of the four-vertex theorem.