Proofs

by Eric Lehman, Google Inc, F Thomson Leighton, Albert R Meyer