Post #1139257: (2+0+2+3)²⁺⁰⁺²⁺³ ≡ 2023 mod (2+0+2+3)! Or to put i…