import FormalConjectures.ErdosProblems.«212»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos212.erdos_212" := by
  sorry

end Bounty