1. a : 
2. p : 
3. prime(p)
4. p | a
  CoPrime(p,a)

By:	(BackThru Thm* a,b:. (c:. c | a  c | b  c | 1)  CoPrime(a,b)) THEN RepD

1

5. c :  6. c | p 7. c | a   c | 1

5 steps

About: IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html