import FormalConjectures.ErdosProblems.«564»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos564.erdos_564" := by
  sorry

end Bounty