O secv9 e o subsecvență cu suma divizibilă cu 9; o găsim grupând prefixele după restul modulo 9 — două prefixe cu același rest închid un bloc divizibil cu 9.