The base cases of gen subst lemma.