Nuprl - Proof: prime or smaller prime factor 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prime or smaller prime factor 1 1 1

1. x : {2...}
2. p : {2...}
3. c : {1...}
4. x = p

p | x

By:	Witness: c ...

Generated subgoals:

None

About:

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