Four color theorem