Nuprl - Proof: coprime bezout id2 1 1 3 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: coprime bezout id2 1 1 3 1 1

1. a :

2. b :

3. x :

4. y :

5. a

x+b

y = 1
6. z :

7. z | a
8. z | b
9. z | a

x
10. z | b

y
11. z | a

x+b

z | 1

By:	HypSubst 5 11

Generated subgoal:

1 11. z | 1
z | 1
Trivial

About:

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