Нет, это не тождество. Это просто равенство двух выражений. Тождество - это утверждение, которое верно для любых значений переменных, а это равенство верно только при условии, что n и k не равны нулю.