Redirecting to Hadwiger's theorem