\begin{definition}[Definition:Perfect Power]
A '''perfect power''' is an integer which can be expressed in the form:
:$a^k$
where both $a$ and $k$ are integers with $a \ge 1$ and $k \ge 2$.
\end{definition}