lean_workbook_plus_71002
ProvedProve that if divides , then divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_71002 (t : ℕ) (h : t ∣ (t + 3)^2 - 3) : t ∣ 3^3 - 3 := by sorry
Source
Prove that if divides , then divides .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_71002 (t : ℕ) (h : t ∣ (t + 3)^2 - 3) : t ∣ 3^3 - 3 := by sorry