Bartlett's_bisection_theorem