2.
(n-1) List
3. u :
(n-1)
4. v :
(n-1) List
5.
f:(n
). sum((f o compose_flips(v))(x) | x < n) = sum(f(x) | x < n)
6. f :
n
7. sum((f o (u, u+1) o compose_flips(v))(x) | x < n)
7. =
7. sum((f o (u, u+1))(x) | x < n)
8. i :
n
f((u, u+1)(compose_flips(v)(i))) 
