import FormalConjectures.ErdosProblems.«98»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos98.erdos_98" := by
  sorry

end Bounty