import FormalConjectures.ErdosProblems.«723»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos723.erdos_723.variants.eq_12" := by
  sorry

end Bounty