Hilbert-Smith conjecture