import FormalConjectures.ErdosProblems.«1073»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1073.erdos_1073" := by
  sorry

end Bounty