Nuprl - Proof: sq stable coprime 3

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable coprime 3

1. i :

2. j :

(1 | i & 1 | j & (

. z | i & z | j

z | 1))
4. z :

5. z | i
6. z | j

z | 1

By:	Analyze 3 THEN Unhide

Generated subgoal:

1 3. 1 | i
4. 1 | j
5. z:. z | i & z | j z | 1
6. z :
7. z | i
8. z | j
z | 1
1 step

About:

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