import Mathlib

/- Original: m = (2p + 3) -/
theorem eq_540e17d250b0af50 (m : ℕ) (p : ℕ) : m = (2p + 3) := by
  omega

