import FormalConjectures.ErdosProblems.«952»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos952.erdos_952" := by
  sorry

end Bounty