Какое утверждение является инвариантом - Ответ на вопрос по основам программирования №1226223

Вопрос

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n не меньше k.Восклицательным знаком обозначается операция вычисления факториала.цел n, k, c;. . .c := c * (n + 1);c := c/(n + 1 - k);n := n + 1;

• Утверждение c = (k)! / (n! (n-k)!).
• Утверждение c = (n+k)! / (n! (n-k)!).
• Утверждение c = n! / (k! (n-k)!).

Ответ