Nuprl - Proof: sq stable coprime 3 1

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

1. i :

2. j :

3. 1 | i
4. 1 | j
5.

. z | i & z | j

z | 1
6. z :

7. z | i
8. z | j

z | 1

By:	HypBackchain

Generated subgoals:

None

About:

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