one nice case and a lemma for lookup-concat'