import FormalConjectures.ErdosProblems.«30»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos30.erdos_30" := by
  sorry

end Bounty