import FormalConjectures.ErdosProblems.«936»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos936.erdos_936.variants.factorial_add_one" := by
  sorry

end Bounty