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

By:	(FwdThru Thm* m,a,b,c:. (a = b mod m)  (b = c mod m)  (a = c mod m) [6;7]) THEN (FwdThru Thm* m,a,b,c:. (a = b mod m)  (b = c mod m)  (a = c mod m) [9;8])

None

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