Aggiunto: induzione sulle CFG