Debido a que hemos probado ambas declaraciones condicionales, hemos probado que|x|=a si y sólo six=a ox=−a. En el caso dondex≥0, eso lo sabemos|x|=x y así la desigualda...Debido a que hemos probado ambas declaraciones condicionales, hemos probado que|x|=a si y sólo six=a ox=−a. En el caso dondex≥0, eso lo sabemos|x|=x y así la desigualdad|x|<a implica esox<a. Entonces en ambos casos, lo hemos probado−a<x<a y esto demuestra que si|x|<a, entonces−a<x<a. En la Parte (1) del Teorema 3.25, demostramos que para cada número realx,|x|<a si y solo si−a<x<a.