lean_workbook_plus_38417

Proved

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

Observe that $444 \cdot 418 \equiv 0 \mod 703$ since $37 | 444$ and $19 | 418$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_38417 :
  (444 * 418) % 703 = 0   :=  by sorry

Source