$3\%)$ Prove that exp$($a$,$n$)$ is correct. $($That is$,$ show that exp$($a$,$n$)$ returns an$.)$