Prove alist_subset_values_equal.