Various proofs of the theorem have been given by Hilton, Liebman, Laue, Herring, and a rather extensive treatment by Cerf. The following is after the method of R. F. Strickland-Constable. We begin with the surface energy for a crystal