Nuprl - Proof: no prime divs one 1 1

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

1. b :

2. 0

b | 1

prime(b)

By:	Guarding (<prop> <prop>) BackThru: Thm* b:. b \| 1 prime(b) ...

Generated subgoals:

None

About:

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