In other words:
prove that :for all a in R,there exists an n positive integer (n>=1) such that (a^n)2=a^n