import FormalConjectures.ErdosProblems.«779»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos779.erdos_779" := by
  sorry

end Bounty