import FormalConjectures.ErdosProblems.«1060»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1060.erdos_1060.parts.ii" := by
  sorry

end Bounty