import FormalConjectures.ErdosProblems.«931»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos931.erdos_931" := by
  sorry

end Bounty