Nuprl - Proof: coprime bezout id2 1

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

1. a :

2. b :

x,y:

. a

x+b

y = 1

CoPrime(a,b)

By:	Analyze 3 THEN Analyze 4

Generated subgoal:

1 3. x :
4. y :
5. ax+by = 1
CoPrime(a,b)
7 steps

About:

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