binomial theorem vs dichotomy paradox