Nuprl - Proof: prime nat divby self only 1 1 1 1 2 1 1 1 1

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

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

3. 2

y
4.

(

i:{2..y

}. i | y)
5. c :

6. y = x

c
7. 2

x<x

By:	Inst: Thm* i:{2...}, j:. j<ij Using:[c \| x] ...

Generated subgoals:

None

About:

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