A note on algebraic geometry over ground rings: the invariance of Hilbert characteristic functions under the specialization process