Sim, claro. 5^1 = 5 e 5^0 = 1.
Porém, releia a propriedade que o autor do livro passou. O caso onde p é zero ou 1 não é valido para a propriedade. São excessões.
Não, no exemplo dado, p é igual a 5 elevado a 1, ou seja, p é igual a 5. Portanto, p é um número natural que é maior ou igual a 2, pois 5 é maior do que 2. A expressão "p é maior ou igual a 2" significa que p precisa ser pelo menos 2 ou um número maior do que 2. Nesse caso, 5 é maior do que 2, portanto, atende ao requisito. Note que a condição "p é maior ou igual a 2" não implica que p não possa ser igual a 2, apenas significa que p precisa ser pelo menos 2.