Nuprl - Proof: coprime divisors prod 1 1 1 1 1 1

(7steps total) PrintForm Lemmas num thy 1 Sections StandardLIB Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: coprime divisors prod 1 1 1 1 1 1

1. a1 :

2. a2 :

3. b :

4. c1 :

5. b = a1

c1
6. c2 :

7. b = a2

c2
8. x :

9. y :

10. a1

a2

c2

x+a2

a1

c1

y = b

c:

. b = a1

a2

c

By:	Witness c2x+c1y

Generated subgoals:

None

About:

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

(7steps total) PrintForm Lemmas num thy 1 Sections StandardLIB Doc