lean_workbook_plus_74198
ProvedSince this is remainder from dividing by , we just need to find the units digit of . The units digit cycles in fours: . Since leaves a remainder of when divided by , the units digit is . .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74198 : (2^400) % 10 = 6 := by sorry
Source