import FormalConjectures.ErdosProblems.«85»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos85.erdos_85" := by
  sorry

end Bounty