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

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

1. prime(2)
2. p :

3. q :

4. p

p = 2

q
5. p' :

6. p = 2

2>0 & p>0 & p'>0

By:	a:, b:. ab>0 a>0 & b>0 By SimilarTo: Thm: pos mul arg bounds

Generated subgoal:

1 7. a:, b:. ab>0 a>0 & b>0
2>0 & p>0 & p'>0
1 step

About:

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