Redirecting to Hilbert–Speiser theorem