import FormalConjectures.ErdosProblems.«942»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos942.erdos_942" := by
  sorry

end Bounty