英语 ⇄ 日语 +

n four-color theorem | n
一般	四色定理 (theorem stating that any map can be colored such that no two adjacent segments have the same color, if only four colors are used colour)