Now lift to mod 25: Let \(n = 5k + 2\). Plug into \(n^3 \equiv 13 \pmod25\): - Groen Casting