P6 - Ej 5

Pablo preguntaba como especificar el Ej 5:
problema elevarN (n:Int) = res: Int {
requiere: -1 < n ;
asegura: n < 2 → res==n ;
asegura: n > 1 → res==eleva(n) ;

aux eleva (n: Int): Int =
acum( n^c | c: Int = n , i ← [2..n]) ;
}