hilbert_smith_conjecture