import FormalConjectures.ErdosProblems.«410»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos410.erdos_410" := by
  sorry

end Bounty