A short proof for Arnold's theorem on the SFT-property (Q1758639)

For a commutative ring \(A\) with identity, an ideal \(I\) of \(A\) is called an SFT-ideal (an ideal of strong finite type) if there exist a finitely generated ideal \(F\subseteq I\) and a positive integer \(k\) such that \(a^k\in F\) for every \(a\in I\). Also, \(A\) is called an SFT-ring if every ideal of \(A\) is an SFT-ideal. The author gives a short proof of Arnold's Theorem on the SFT-property, namely if \(A\) is a non-SFT-ring, then there exists an ideal \(I\) of \(A\) such that \(I[[X]]\nsubseteq \sqrt{IA[[X]]}\).