lean_workbook_plus_79679
ProvedObserve this in . Reduce the 17 to 7 for easier arithmatic. Experiment with the first few powers, and find that . Now, take and rewrite it as . We now have . Therefore, the units digit is
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_79679 : (7^1996) % 10 = 1 := by sorry
Source