import FormalConjectures.ErdosProblems.«951»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos951.erdos_951" := by
  sorry

end Bounty