import FormalConjectures.ErdosProblems.«1059»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1059.erdos_1059" := by
  sorry

end Bounty