import Mathlib

/- Original: A = *-alg(J) -/
theorem eq_8667a4abcdfb0e33 (A : ℕ) (J : ℕ) (alg : ℕ) : A = *-alg(J) := by
  omega

