import FormalConjectures.ErdosProblems.«939»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos939.erdos_939" := by
  sorry

end Bounty