Let A be a ring. Let I ⊂ J ⊂ A be ideals. If M is J-adically complete and I is finitely generated, then M is I-adically complete. See Tag 090T.