p^q=a^p