[NTG-context] n\choose k