An induction algorithm for edge coloring of planar bridgeless cubic graph.