import FormalConjectures.ErdosProblems.«701»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos701.erdos_701" := by
  sorry

end Bounty