import FormalConjectures.ErdosProblems.«617»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos617.erdos_617" := by
  sorry

end Bounty