Byers-Yang theorem