IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
One has no prime divisors.
At:
no prime divs one b
b:
. prime(b) 
b | 1
Generated subgoal:
| 1 |
1. b :
2. prime(b)
b | 1
 | 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
