Buenas, me surge una duda al resolver la parte a, luego de plantear el paso inductivo afirmando que ε tiene largo par y demostrarlo
Planteo el primer paso inductivo como:
- ∀w∈Δ con w teniendo largo múltiplo de 3, entonces bwbc tiene largo múltiplo de 3