Очевидно, база

верна. Пускай для

тождество верно. Сделаем индукционный переход к

. Действительно, учитывая, что

, получаем выражение

. Далее, воспользовавшись индукционным предположением, а также тем, что

, получаем

, откуда и вытекает то, что тождество выполняется.