import FormalConjectures.Wikipedia.CarmichaelTotient
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "CarmichaelTotient.charmichaelTotient" := by
  sorry

end Bounty