Hadwiger conjecture

conjecture that all graphs requiring k or more colors contain a k-vertex complete minor