Valuations and Dedekind's Prague Theorem