lean_workbook_plus_68473
ProvedProve that is divisible by 7.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_68473 : 2222 ^ 5555 + 5555 ^ 2222 ≡ 0 [ZMOD 7] := by sorry
Source
Prove that is divisible by 7.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_68473 : 2222 ^ 5555 + 5555 ^ 2222 ≡ 0 [ZMOD 7] := by sorry