Added proof for nowhere density corollary