Independence number and clique number, chromatic number, statement of Four-color theorem