Understanding and implementation of the algorithm to get three-coloring in triangle-free planar graphs