Add "if"

Thanks to Matthieu Romagny
http://stacks.math.columbia.edu/tag/05JA#comment-1917

examples.tex

@@ -243,7 +243,7 @@ \section{Noncomplete completion}
 $$
 is in $\mathfrak m'$ but not in $\mathfrak m R^\wedge$ which
 shows that (1) is false in this example. Note that we do have
-$\mathfrak m R^\wedge \subset \mathfrak m'$. Hence, $R^\wedge$
+$\mathfrak m R^\wedge \subset \mathfrak m'$. Hence, if $R^\wedge$
 is not $\mathfrak m$-adically complete as an $R$-module, then it is also not
 $\mathfrak m'$-adically complete. To show that $R^\wedge$ is not
 $\mathfrak m$-adically complete (as an $R$-module)