Three-coloring planar graphs without short cycles

In this paper we prove that every planar graph without cycles of length 4, 6, 7 and 9 is 3-colorable.