import FormalConjectures.ErdosProblems.«681»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos681.erdos_681" := by
  sorry

end Bounty