Nuprl - Proof: prime nat divby self only

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

x:{2...}, y:

. prime(y)

x | y

x = y

By:

Auto

Generated subgoal:

1 1. x : {2...}
2. y :
3. prime(y)
4. x | y
x = y
11 steps

About:

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