Nuprl - Proof: prime neg 1 1

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

1. x :

2. prime(-x)

prime(x)

By:	SimilarTo Hyp:-1

Generated subgoals:

1 2. x = 0
  -x = 0
Auto

2 2. ((-x) ~ 1)
  (x ~ 1)
2 steps

3 2. b,c:. -x | bc  -x | b  -x | c
  b,c:. x | bc  x | b  x | c
1 step

About:

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