Nuprl - Proof: prime nat

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

. prime(x)

x &

(

i:{2..x

}. i | x)

By:

Auto

Generated subgoals:

1 1. x :
2. prime(x)
  2x
2 steps

2 1. x :
2. prime(x)
  (i:{2..x}. i | x)
3 steps

3 1. x :
2. 2x
3. (i:{2..x}. i | x)
  prime(x)
16 steps

About:

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