2. 0<k
3.
p:(
(k-1)
(k-1)).
3. Bij(
(k-1); (k-1); p) 
(
L:(k-1-1) List. p = compose_flips(L))
4. p :
kk
5. Inj(
k; k; p)
6.
b:k. a:k. p(a) = b
7. a :
k
8. p(a) = k-1
x:k. p(x) = k-1
p:((k-1)(k-1)).
(k-1); (k-1); p) (L:(k-1-1) List. p = compose_flips(L))
kk
k; k; p)
b:k. a:k. p(a) = b
k
x:k. p(x) = k-1| By: |
|
None
About:
 |  |  |  |  |  |
 |  |  |  |
 |