import FormalConjectures.ErdosProblems.«252»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos252.erdos_252" := by
  sorry

end Bounty