import FormalConjectures.ErdosProblems.«406»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos406.erdos_406.variants.one_two" := by
  sorry

end Bounty