Byers-Yang theorem

Summary