2 3
cd + bc' + ad' > ba_{0} + b_{1} i.e. > b_{1}a_{0}
-- = =

1 2 3
11. bc_{0} + d_{1}a'_{0} + c'_{1}a_{0};

1 3 2
bc + c'a + da' > bd_{0} + d_{1} i.e. > d_{1}b_{0}
- = - =

1 2 3
12. cb'_{0} + c'_{1}d_{0} + b_{1}a'_{0};

1 2 3
cb' + c'd + ba' > da'_{0}
-- = =

1 2 3 4
13. d_{1}e'_{0} + c_{1}a'_{0} + bd'_{0} + e_{1}a_{0};

1 3 4 2
de' + bd' + ea + ca' > bc_{0} + c_{1} i.e. > c_{1}b_{0}
-- = =- =

1 2 3 4
14. c_{1}b'_{0} + a_{1}e'_{0} + d_{1}b_{0} + a'_{1}c'_{0};

1 3 4 2
cb' + db + a'c' + ae' > de'_{0} + d_{1} i.e. > d_{1}e'_{0}
-- = - = =

1 2 3 4
15. b'd_{0} + e_{1}c'_{0} + b_{1}a'_{0} + d'_{1}c_{0};

1 3 4 2
b'd + ba' + d'c + ec' > a'e_{0} + e_{1} i.e. > e_{1}a'_{0}
- - = = - =

1 2 3 4
16. a'e_{0} + d_{1}c_{0} + a_{1}b'_{0} + e'_{1}d'_{0};

1 3 4 2
a'e + ab' + e'd' + dc > b'c_{0}
- - = = - =

1 2 3 4
17. d_{1}c'_{0} + a_{1}e'_{0} + bd'_{0} + c_{1}e_{0};

1 3 4 2
dc' + bd' + ce + ae' > ba_{0} + a_{1} i.e. > a_{1}b_{0}
-- = =- =

1 2 3 4
18. a_{1}b'_{0} + d_{1}e'_{0} + a'_{1}c_{0} + be_{0};

1 3 4 2
ab' + a'c + be + de' > cd_{0} + d_{1} i.e. > d_{1}c_{0}
-- = =- =

1 2 3 4 5
19. bc_{0} + e_{1}h'_{0} + a_{1}b'_{0} + dh_{0} + e'_{1}c'_{0};

1 3 5 2 4
bc + ab' + e'c' + eh' + dh > ad_{0} + a_{1}
-- = - = =- =

i.e. > a_{1}d_{0}

1 2 3 4 5
20. dh'_{0} + ce_{0} + h_{1}b'_{0} + ad'_{0} + be'_{0};

1 3 4 5 2
dh' + hb' + ad' + be' + ce > ac_{0}
-- =- = =- =

1 2 3 4 5
21. b_{1}a'_{0} + dh_{0} + ce_{0} + ah'_{0} + c'_{1}b'_{0};

1 4 2 5 3
ba' + ah' + dh + c'b' + ce > de_{0}
-- =- = - = =

1 2 3 4