não necessariamente com Hilbert