| http://www.w3.org/ns/prov#value | - The proof is a special monic binomial case of the analogous proof of the Rational Root Test (RRT), since for $\rm\:c = b/a\:$ we have $\rm\:c^n = k\in \Bbb Z,\:$ so $\rm\:c\:$ is a root of $\rm\:x^n - k\:$ so RRT implies $\rm\:c\in \Bbb Z.\:$ In fact, more generally, the Freshman's Dream for gcds is true $\rm\:(a^n,b^n) = (a,b)^n$
|
