Quantifier-Free Definable Sets in the Ring Language Are Constructible