问题4 上述推论不能证明K3是非平面图, 你能推出一个类似的推论用于K3吗? 二部图的一个区 域至少多少条边?二部图的一个区 域至少多少条边？