1. r : 
2. s : 
3. CoPrime(r,s)
4. a : 
5. b : 
6. p : 
7. p = 1 mod r
8. p = 0 mod s
9. q : 
10. q = 1 mod s
11. q = 0 mod r
  x:. (x = a mod r) & (x = b mod s)

By:	Witness ap+bq THEN (Analyze 0)

1	(ap+bq) = a mod r	2 steps
2	(ap+bq) = b mod s	2 steps

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