حلّ دقيق لمسألة إردوش رقم 650، مع صياغة البرهان رسميًا في Lean.

من الجميل أن نرى التقدير لكلا الإسهامين.

https://x.com/JustinSunPrize/status/2117177895387021656