Prove no_repeats_and_disjoint