lean_workbook_plus_82104
ProvedProve that can be divided by .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_82104 : ∀ n : ℕ, 2 ∣ (1111^n - 1109^n) := by sorry
Source
Prove that can be divided by .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_82104 : ∀ n : ℕ, 2 ∣ (1111^n - 1109^n) := by sorry