1. r : 
2. s : 
3. CoPrime(r,s)
  x:. ((x = 1 mod r) & (x = 0 mod s))

By:	(FwdThru Thm* a,b:. CoPrime(a,b)  (x,y:. ax+by = 1) [3]) THEN (ExistHD -1)

1

4. x :  5. y :  6. rx+sy = 1   x:. ((x = 1 mod r) & (x = 0 mod s))

5 steps

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