At: fun enumer 1 2 1 2 2 1 2 1 1 2 1 1 1 1 1 1
1. n: 
2. m: 
3. 0 < m
4. f: ((m-1)
n)(n
m-1)
5. Bij((m-1)n; (nm-1); f)
6. 
n = 0
7. f1: n
(nm-1)(nm)
8. b: (nm)
9. (nm) = n
(nm-1)
b 
(n(nm-1))
By: RWH (RevHypC 9) 0
Generated subgoals:None
About:
