Theorem (Weak Planar Coloring Bound) Theorem (Strong Planar Coloring Bound) Kempe Chain Edge Coloring