lean_workbook_plus_29597

Proved

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

That's wrong : $1111^{2222}=5^{2222}$ $=(5^6)^{370}5^2=4\pmod 7$ $2222^{3333}=3^{3333}$ $=(3^6)^{555}3^3=6\pmod 7$ $3333^{4444}=1^{4444}=1\pmod 7$ So $1111^{2222} + 2222^{3333} + 3333^{4444} \equiv 4 \pmod 7$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_29597 :
  (1111^2222 + 2222^3333 + 3333^4444) % 7 = 4   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph