Nuprl - Proof: two sqr roots LEMMA1 1 2 1 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: two sqr roots LEMMA1 1 2 1 1 1 1

1. prime(2)
2. p :

3. q :

4. p

p = 2

q
5. p' :

6. p = 2

p'
7. 2>0
8. p>0
9. p'>0

q = 2

By:	Rewrite by 22p'p' = 2p'2p' { hyps Hyp:4 Hyp:6 }

Generated subgoals:

None

About:

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