lean_workbook_plus_81248

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

$7n+1 ~|~ 8n+55 \Rightarrow 7n+1~|~7(8n+55) \Leftrightarrow 7n+1~|~56n+385.$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_81248 (n : ℕ) : 7 * n + 1 ∣ 8 * n + 55 → 7 * n + 1 ∣ 56 * n + 385   :=  by sorry

Source