div mod uniqueness