Hilbert-Speiser theorem