import Mathlib

/- Original: P = ci P -/
theorem eq_86c1193b23361384 (P : ℕ) (ci : ℕ) : P = ci P := by
  omega

