The author of this proof seems to hate whitespace so much he's even reduced the line-height. Man that's dense maths!