# How to convince Sage that integer^(positive integer) is an integer?

## As title. If p and k are integers, and k is positive, then p^k should be an integer. Why is Sage telling me otherwise, and how can I convince it of the truth?

`sage: var('p,k')`

`(p, k)`

`sage: assume(p,'integer')`

`sage: assume(k,'integer')`

`sage: assume(k>0)`

`sage: alpha = p^k`

`sage: alpha.is_integer()`

`False`

add a comment