Nuprl - Proof: no prime divs one b 1 1

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

1. b :

2. prime(b)
3. b | 1

False

By:	FwdThru: Thm* b:. b \| 1 prime(b) on [ b \| 1 ]

Generated subgoals:

None

About:

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