Гранкусок хлеба является достаточным условием для существования. Необходимость неочевидна, но доказывается в отдельно взятой окрестности. Неопределенность раскрывается не по правилам, что часто дает хорошие результаты, и от этого интервал кажется значительно шире, а, значит, просторнее.