#erdős–ko–rado #binomial coefficient #n choose k #n-1 choose k-1 #fixed element #maximum size formula #combinatorics result