a^p|p^q