(16steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
gen
base
case
1
1
1
1.
a:
2.
n:
3.
|a| < |n|
a < n
By:
MoveToConcl 3
Generated subgoal:
1
|a| < |n|
a < n
About:
(16steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
|a| < |n| 
a < n
a < n |a| < |n| a < n
