Như vậy, đối với mọi \ uE00028028 \ uE001 trong miền, đối với mỗi khoảng mở nhỏ \ uE00028029 \ uE001 về \ uE00028030 \ uE001, có một khoảng chứa \ uE00028031 \ uE001 có hình ảnh nằm trong \ uE00028032 \ uE001.