Added proof for remdup_adj characterization