Spero di non sbagliare dicendo che:
$ $ x = e $ $ (numero di Nepero)
$ $ y = \ln n $ $ con $ $ n \in N $ $ e, dunque, intero
$ $ x \mbox{ e } y $ $ sono irrazionali (almeno credo: sicuramente sono trascendenti).
Allora:
$ $ x^y = e^{\ln n} = n $ $
il quale risultato è intero.