lean_workbook_plus_11231
DisprovedProve that is divisible by and .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_11231 : 4 ∣ 5^9 - 1 ∧ 8 ∣ 5^9 - 1 := by sorry
Source
Prove that is divisible by and .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_11231 : 4 ∣ 5^9 - 1 ∧ 8 ∣ 5^9 - 1 := by sorry