The left hand side of this is a stronger version of the left hand side of BP1116.
Any point contained in (arbitrarily) smaller version of self vs. not so.
Aaron David Fairbanks