PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
5
1.
n:
2.
m:
3.
b:
(n
m)
1of( < b
m,b rem m > )
m+2of( < b
m,b rem m > ) = b
(n
m)
By:
Reduce 0
Generated subgoal:
1
(b
m)
m+(b rem m) = b
(n
m)
About:
(b 
m)
m+(b rem m) = b 
(nm)
(nm) 1of( < b m,b rem m > )m+2of( < b m,b rem m > ) = b (nm) (b m)m+(b rem m) = b (nm)
