k:, r1,r2:k, q1,q2:.
  q1k+r1 = q2k-r2  q1 = q2 & r1 = 0 & r2 = 0  q2 = q1+1 & r2 = k-r1

1

1. k :  2. r1 : k 3. r2 : k 4. q1 :  5. q2 :  6. q1k+r1 = q2k-r2   q1 = q2 & r1 = 0 & r2 = 0  q2 = q1+1 & r2 = k-r1

3 steps

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