Nuprl - Proof: two sqr roots LEMMA1 1

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

1. prime(2)
2. p :

3. q :

4. p

p = 2

p':

. p'<p & q

q = 2

By:	FwdThru: Thm* a:. prime(a) (x:. a \| xx a \| x) on [ 2 \| pp ]

Generated subgoals:

1 2 | pp
1 step

2 5. 2 | p
p':. p'<p & qq = 2p'p'
7 steps

About:

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