Nuprl - Proof: nat prime div each factor 1 1 1 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat prime div each factor 1 1 1 1 1 1

1. X :

2. prime(X)
3.

. 0<W

W<X

(

. X | t

X | t)
4. r :

X
5. s :

X
6.

r = 0
7. X | r

0<s

By:	SimilarTo: X \| r ...w

Generated subgoals:

1 X | r
2 steps

2 8. 0<s
X | r
1 step

About:

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