Tag four color theorem