The curling Number Conjecture

Reference: arxiv/0912.2382 The Curling Number Conjecture by Benjamin Chaffin and N. J. A. Sloane

theorem curling_number_conjecture (S₀ : List ℤ) (h : S₀ ≠ []) : ∃ (m : ℕ), k✝ (S✝ S₀ m) = 1

The sequence will eventually reach $1$.