Nuprl - Proof: factors smaller2 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: factors smaller2 1 2

1. k :

2. i : {2..k

}
3. j :

4. i

j = k
5. 2

j<k

By:	Inst: Thm* i,j:{2...}. i<ij & j<ij Using:[i \| j]

Generated subgoals:

None

About:

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