Comment by roncesvalles

A lot of those proofs are slop and lack the elegance of a human solution.