PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
7
1.
n:
2.
m:
3.
b:
(n
m)
4.
a:
n
m
1of(a)
m+2of(a) < n
m
By:
Analyze 4
THEN
Reduce 0
Generated subgoal:
1
4.
a1:
n
5.
a2:
m
a1
m+a2 < n
m
About:
nm
a1
m+a2 < nm
(nm)n
m 1of(a)m+2of(a) < nmnm a1m+a2 < nm
