PREREQUISITE THEOREM ON FOUR COLOUR PROBLEM WITH PLANAR GRAPH

• 平面图四色问题的一个必要定理