lean_workbook_plus_19860
ProvedProve that without using Euler's Theorem or Fermat's Little Theorem.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19860 : 3 ^ 20 ≡ 1 [ZMOD 100] := by sorry
Source
Prove that without using Euler's Theorem or Fermat's Little Theorem.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19860 : 3 ^ 20 ≡ 1 [ZMOD 100] := by sorry