(8steps total) PrintForm Definitions NumThyExamples Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: stamps 1
1. i : {8...}
  m,n:. 3m+5n = i
By: NSubsetInd Hyp:-1

Generated subgoals:

1 1. i : 
2. 0<i
3. 8 = i
  m,n:. 3m+5n = i
1 step
2 1. i : 
2. 8<i
3. m,n:. 3m+5n = i-1
  m,n:. 3m+5n = i
5 steps

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

(8steps total) PrintForm Definitions NumThyExamples Sections NuprlLIB Doc