import FormalConjectures.Wikipedia.Bunyakovsky
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Bunyakovsky.bunyakovsky_conjecture" := by
  sorry

end Bounty