1. n : 
2. 0<n
3. k : 
  k = if n=0 then 0 else k  n fi n+if n=0 then 0 else k rem n fi   

1

4. n = 0   k = (k  n)n+(k rem n)

1 step

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