import FormalConjectures.ErdosProblems.«396»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos396.erdos_396" := by
  sorry

end Bounty