Esta regla recibe el nombre de regla de sustitución