lean_workbook_plus_55689
ProvedFind the remainder when is divided by 6.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55689 : (4 ^ 545 + 545 ^ 4) % 6 = 5 := by sorry
Source
Find the remainder when is divided by 6.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55689 : (4 ^ 545 + 545 ^ 4) % 6 = 5 := by sorry