lean_workbook_plus_31370
ProvedGiven that , prove that is divisible by .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31370 : 2008^2 + 2^2008 ≡ 0 [ZMOD 4] := by sorry
Source
Given that , prove that is divisible by .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31370 : 2008^2 + 2^2008 ≡ 0 [ZMOD 4] := by sorry