Redirecting to TurĂ¡n's theorem