@ColinTheMathmo haven't got it to hand, but might "proofs from the book" contain some good results?