prove the set is not open