lean_workbook_plus_1939
ProvedProve that for all , is divisible by 3.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_1939 (k : ℕ) : (3^(3^k - k) % 3) = 0 := by sorry
Source
Prove that for all , is divisible by 3.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_1939 (k : ℕ) : (3^(3^k - k) % 3) = 0 := by sorry