Supongamos $\binom{n}{k}=\binom{n'}{k'}$ con $k \geq 2$, $k' \geq 2$, $n \geq 2k$ y $n' \geq 2k'$. De lo anterior se sigue que el$n=n'$$k=k'$?
EDIT: Sí, $\binom{16}{2}=\binom{10}{3}=120$.
Ahora quiero preguntar si hay infinitamente muchos de esos pares, pero yo probablemente debería pedir que en una pregunta aparte. Gracias!
EDIT 2: para referencia en el futuro, sí hay infinitamente muchas de esas coincidencias. Ver Singmaster de la Conjetura.