Nuprl - Proof: no prime divs one 1 2

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

1. b :

b | 1

prime(b)

By:	Rewrite by Thm* a,b:. a \| b -a \| b ...w THEN Rewrite by Thm* y:. prime(-y) prime(y) ...w

Generated subgoal:

1 -b | 1 prime(-b)
1 step

About:

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