Получил такой ответ :
Число сочетаний из 11 по 7.

Более полный ответ с выводом полученной формулы для общего случая напишу завтра. Сейчас поду смотреть футбол - начался суперкубок!