Nuprl - Proof: rem gen base case

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: rem gen base case

, n:

. |a|<|n|

(a rem n) = a

By:	SimilarTo a:, n:. \|a\|<\|n\| (a rem n) = a

Generated subgoals:

1 1. a :
2. n :
3. |a|<|n|
  (a rem n) = a
4 steps

2 1. a :
2. n:. |a|<|n|  (a rem n) = a
3. n :
4. |a|<|n|
  (a rem n) = a
5 steps

About:

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

1	1. a : 2. n : 3. \|a\|<\|n\| (a rem n) = a	4 steps
2	1. a : 2. n:. \|a\|<\|n\| (a rem n) = a 3. n : 4. \|a\|<\|n\| (a rem n) = a	5 steps