m,a,a',b,b':. (a = a' mod m)  (b = b' mod m)  ((a+b) = (a'+b') mod m)

1

1. m :  2. a :  3. a' :  4. b :  5. b' :  6. m | a-a' 7. m | b-b'   m | a+b-(a'+b')

1 step

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