The expression lemma ⋆

by Ralf Lämmel, Ondrej Rypacek