Дискретная математика как основа программирования.

[Geg[C/c++]]

Прошу помочь в решении задачи. Задача в том что бы предоставить доказательство данной формулы из раздела Дискретной математики.
Пробовал доказать и с помощью закона бинома и числом сочетаний, не могу разобраться самостоятельно поэтому прошу дать совет.

[SNUPY]

а если сочетания расписать по фактариалам?? не получаеться??

[Geg[C/c++]]

Вот в этом все дело, как точно расписать не знаю, поэтому и привел возможные решения задачи. Надо както расписать так чтобы вывелось или прояснилось доказательство сей формулы. "Препод" дисциплины просто странный, у четырех параллельных групп ведет и почти все не понимают что к чему, поэтому даже поинтересоваться не у кого. В книгах вообще можно мозг сломать. (но всеже коечто выяснить можно )
Если вас незатруднит и вы действительно "шарите" в сей дисциплине, не не могли бы вы мне подсказать по конкретнее.

[Sazary]

Почему бы в самом деле не расписать по факториалам?
Вот..Вроде так. Там все сокращается и получается 1=1.

[Geg[C/c++]]

Да точно, это формула по которой вы расписали выражение является формулой "Число сечений", а бином Ньютона тут вообще не в тему сказал я. А задача то оказалась довольно таки простой, тем более когда наглядно это было продемонстрировано вами. Возможно теперь смогу и друзьям помочь в решении, большое спасибо.