Nuprl - Proof: coprime divisors prod 1 1

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

1. a1 :

2. a2 :

3. b :

4. a1 | b
5. a2 | b
6.

x,y:

. a1

x+a2

y = 1

a2 | b

By:	Analyze 6 THEN Analyze 7

Generated subgoal:

1 6. x :
7. y :
8. a1x+a2y = 1
a1a2 | b
4 steps

About:

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