В принципе да, через матиндукцию, наверное, быстрее можно доказать, хотя тут
нужно все корректно делать, ибо не один, а уже два задаваемых параметра n и k.
Но это хорошо, когда уже догадался о правой части. Хуже когда она неизвестна.
В моем варианте доказательства правая часть именно выводится из левой части.
P.S. Ладно, в следующий раз буду ставить задачи жестче - найти формулу суммы
