1. m : 
2. m' : 
3. a : 
4. a' : 
5. b : 
6. b' : 
7. m = m'
8. a = a' mod m
9. b = b' mod m
10. a' = b' mod m'
  a = b mod m

1

2. a :  3. a' :  4. b :  5. b' :  6. a = a' mod m 7. b = b' mod m 8. a' = b' mod m   a = b mod m

2 steps

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