import FormalConjectures.ErdosProblems.«932»
import TaskSupport

namespace Bounty

theorem target : ¬ (fcTypeOfName% "Erdos932.erdos_932") := by
  sorry

end Bounty