prove exh_to_exists_match