A k th-order linear difference equation with constant coefficients subject to boundary conditions is considered. A necessary and sufficient condition for the existence of a unique solution for such a boundary value problem is established. The condition established answers a fundamental question for well-posedness and can be easily applied using a simple and computationally tractable algorithm that does not require finding the roots of the associated characteristic equation.