1. n : 
2. k : 
3. 0<k
4. (n^(k-1))  
  (n^k)  

By:	Compute n^k * if k=0 1 else n(n^k) fi THEN SplitOnConclITE

1

5. k = 0   n(n^(k-1))

3 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html