قضیه حصر کوتاهی