Proofs from THE BOOK: Aigner, Martin, Ziegler, Günter M