bathtub theorem