Rigorous conditions for food-web intervality in high-dimensional trophic niche spaces