Big Nose / Big Hose corollary is proven