Nuprl - Proof: prime nat divby self only 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prime nat divby self only 1

1. x : {2...}
2. y :

3. prime(y)
4. x | y

x = y

By:	Rewrite'4 by Thm* a,b:. a \| b (c:. b = ac) ... THEN Analyze-1

Generated subgoal:

1 4. c :
5. y = xc
x = y
10 steps

About:

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