import FormalConjectures.ErdosProblems.«406»
import TaskSupport

namespace Bounty

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

end Bounty