Proofs from THE BOOK - Aigner, Martin 1942-2023; Ziegler, Günter M. 1963- (Springer, 2018)