User blog comment:D57799/Another Theorem for Knuth Arrows/@comment-5529393-20150410093107

A lot of those steps require justification. In particular, I don't believe that last equality.

Rather than write >...., it would be better to prove inequalities that represent all the steps using variables.