import FormalConjectures.ErdosProblems.«251»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos251.erdos_251" := by
  sorry

end Bounty