Redirecting to Erdős–Ko–Rado theorem