Proofs from the book - Aigner, Martin (2009)