Ah! $2^9 = 512 \equiv 512 \mod 25$: $25 \cdot 20 = 500$, $512 - 500 = 12$. - Crosslake
Mar 01, 2026
Content is being prepared. Please check back later.
