Ontify
Theorem that the zeros of a linear recurrence relation mostly form a regularly repeating pattern.