lean_workbook_plus_45243
ProvedFor any positive integer , prove that and are relatively prime.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45243 (m : ℕ) : Nat.Coprime m (m + 1) := by sorry
Source
For any positive integer , prove that and are relatively prime.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45243 (m : ℕ) : Nat.Coprime m (m + 1) := by sorry