import FormalConjectures.ErdosProblems.«1094»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1094.erdos_1094" := by
  sorry

end Bounty