Nuprl - Proof: prime nat 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prime nat 2

1. x :

2. prime(x)

(

i:{2..x

}. i | x)

By:	SimilarTo: (i:{2..x}. i = 1 i = x)

Generated subgoals:

1 (i:{2..x}. i = 1 i = x)
1 step

2 3. i : {2..x}
4. i | x
i = 1 i = x
1 step

About:

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

1	(i:{2..x}. i = 1 i = x)	1 step
2	3. i : {2..x} 4. i \| x i = 1 i = x	1 step