Gewiß, wenn ε als Ersetzungsregel fungieren kann & ε aus C allein hervorgeht, so muß C auch als Ersetzungsregel i.e. Begründung der Ersetzung fungieren können.