import FormalConjectures.Wikipedia.LehmerTotient
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "LehmerTotient.lehmer_totient" := by
  sorry

end Bounty