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. sum((f o (u, u+1) o compose_flips(v))(x) | x < n)
8. =
8. sum(f(compose_flips([u / v])(x)) | x < n)
9. sum(f((u, u+1)(x)) | x < n) = sum(f(x) | x < n)
sum((f o (u, u+1))(x) | x < n) = sum(f(x) | x < n)
