Свойство. Линейное однородное разностное уравнение k-го порядка с постоянными коэффициентами имеет тривиальное решение