import FormalConjectures.ErdosProblems.«371»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos371.erdos_371" := by
  sorry

end Bounty