import FormalConjectures.Wikipedia.IdonealCompleteness
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Idoneal.idoneal_numbers_completeness" := by
  sorry

end Bounty