Nuprl - Proof: no prime divs one b 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: no prime divs one b 1

1. b :

2. prime(b)

b | 1

By:

Analyze

Generated subgoal:

1 3. b | 1
False
1 step

About:

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