不包含{4,5,7}圈的平面图是3-可染的延拓性定理
불포함{4,5,7}권적평면도시3-가염적연탁성정리
3-colorability extension theorem without {4 ,5 ,7}-cycle planar graph