Show that completion can be computed by extension of scalars as \begin{align*} M { {}_{ \widehat{I} } } \cong M \otimes_R R{ {}_{ \widehat{I} } } \end{align*}