Let R be a ring and let p be a fixed prime. Show that Ip​={r∈R∣ additive order of r is a power of p}is an ideal of R.