Focal points and recessive solutions of discrete symplectic systems

We prove a Sturmian separation theorem comparing the number of focal points of any conjoined basis of a nonoscillatory and controllable (near ∞∞) symplectic difference system with the number of focal points of the recessive solution at ∞∞. We also present various extensions of this statement.