import FormalConjectures.ErdosProblems.«32»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos32.erdos_32" := by
  sorry

end Bounty