import FormalConjectures.ErdosProblems.«383»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos383.erdos_383" := by
  sorry

end Bounty