The $I$-Adic Topology Is a Ring Topology